source: src/examples/strings/src/main.c @ a772d8ab

string
Last change on this file since a772d8ab was a772d8ab, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

basic commit + some work on assertion to make them match normal assertions

  • Property mode set to 100644
File size: 166 bytes
Line 
1#ifdef __cforall
2#include "tools.h"
3#else
4#include <assert.h>
5#endif
6
7#include <stdlib>
8
9int main(int argc, char* argv[])
10{
11        assertf(2 == 1, "expected 2 got 1\n");
12}
Note: See TracBrowser for help on using the repository browser.