[splint.git] / src / Headers / sHerald.h

/*@constant observer char *SANITIZE_VERSION;@*/
# define SANITIZE_VERSION "Sanitizer 0.1+ --- Fri Dec 12 19:51:34 EST 1997"
/*@constant observer char *SANITIZE_COMPILE;@*/
# 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"
Commit	Line	Data
885824d3	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"