Pushed back constraintResolve.c to the previous version.

[splint.git] / src / .splintrc

diff --git a/src/.splintrc b/src/.splintrc
index ad88710ac82fc2f40169284c54000e95b14f9e24..e7af515f5ce49c9c0a233eb5604dfe8dc5ada203 100644 (file)
--- a/src/.splintrc
+++ b/src/.splintrc
@@ -7,6 +7,8 @@
 +checks    # checks mode (moderately strict checking)
 
 ### Display Flags
+-locindentspaces 0 
++showdeephistory
 +showscan 
 +showsummary 
 +stats 
@@ -54,22 +56,15 @@
 +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?