[splint.git] / src / constraintOutput.c

/*
** constraintOutput.c
*/

# include "lclintMacros.nf"
# include "basic.h"
# include "portab.h"

#define testingFlag  FLG_BUFFEROVERFLOW
//FLG_BUFF
//FLG_NULLTERMINATED
Commit	Line	Data
3aaedf88	1	/*
	2	** constraintOutput.c
	3	*/
	4
	5	# include "lclintMacros.nf"
	6	# include "basic.h"
	7	# include "portab.h"
	8
	9	#define testingFlag FLG_BUFFEROVERFLOW
	10	//FLG_BUFF
	11	//FLG_NULLTERMINATED
	12
3aaedf88	13