src/Headers/sHerald.h

   1 /*@constant observer char *SANITIZE_VERSION;@*/
   2 # define SANITIZE_VERSION "Sanitizer 0.1+ --- Fri Dec 12 19:51:34 EST 1997"
   3 /*@constant observer char *SANITIZE_COMPILE;@*/
   4 # define SANITIZE_COMPILE "Compiled using gcc -O5  on Linux spd.lcs.mit.edu 2.0.32 #4 Sun Nov 16 22:17:18 EST 1997 i586 unknown by evs"