Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / .splintrc

diff --git a/src/.splintrc b/src/.splintrc
index ad88710ac82fc2f40169284c54000e95b14f9e24..10e3bd2ac839a791990c34899dc06865e16394d8 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?
@@ -81,6 +76,9 @@
 -boolfalse FALSE
 
 +numliteral
++numabstractindex
++numabstractlit
+-numabstractprint
 
 -indentspaces 3