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

[splint.git] / src / .splintrc

diff --git a/src/.splintrc b/src/.splintrc
index 61e8dd78e608c6169d0da607117220d63d53f9e9..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 
@@ -74,6 +76,9 @@
 -boolfalse FALSE
 
 +numliteral
++numabstractindex
++numabstractlit
+-numabstractprint
 
 -indentspaces 3