summaryrefslogtreecommitdiff
path: root/cil/test/small1/testharness.h
blob: a1057e343e2cc478531705c25bcb592a266dbebc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#ifndef printf
  /* sm: this works with gcc-2.95 */
  extern int printf(const char * format, ...);
# ifdef CCURED
   #pragma ccuredvararg("printf", printf(1))
# endif
#else
  /* but in gcc-3 headers it's a macro.. */
  #include <stdio.h>        /* printf */
#endif

extern void exit(int);

/* Always call E with a non-zero number */
#define E(n) { printf("Error %d\n", n); exit(n); }
#define SUCCESS { printf("Success\n"); exit(0); }