test/bool.h

   1 #ifndef SPLINT_BOOL_H
   2 #define SPLINT_BOOL_H
   3
   4 /*@-cppnames@*/
   5 /*@-exporttype@*/
   6 typedef /*@abstract@*/ int bool;
   7 /*@=exporttype@*/
   8 /*@=cppnames@*/
   9
  10 #ifndef FALSE
  11 /*@constant unused bool FALSE@*/
  12 #define FALSE false
  13 #endif
  14
  15 #ifndef TRUE
  16 /*@constant unused bool TRUE@*/
  17 #define TRUE true
  18 #endif
  19
  20 # endif /* SPLINT_BOOL_H */