]> andersk Git - splint.git/blobdiff - src/.splintrc
Fixed fatal errors in constraint checking.
[splint.git] / src / .splintrc
index ad88710ac82fc2f40169284c54000e95b14f9e24..61e8dd78e608c6169d0da607117220d63d53f9e9 100644 (file)
 +needspec 
 +evalorderuncon 
 -mustmod 
-+ansilimits 
++iso99limits 
 +allempty 
 +whileblock 
 +forblock 
 +elseifcomplete 
 
 ### Limit maximimum include nesting
-
 -includenest 5
 
-### Some ANSI limits exceeded (tsk, tsk, tsk...)
-
--controlnestdepth 25 
--numenummembers 512 
-+internalnamelen 50
 +posixlib
      
 ### this should be builtin to pp?
This page took 0.303825 seconds and 4 git commands to generate.