andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

Added check of user specified post conditions.
Added the flag +checkpost ot turn this on and off.

src/Headers/local_constants.h		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintList.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/flags.def		diff \| blob \| blame \| history

git-cvsimport mirror of splint

This page took 0.081777 seconds and 5 git commands to generate.