]> andersk Git - splint.git/blobdiff - test/db1.out
Simple modification to tests.
[splint.git] / test / db1.out
index 4a56e7dce957688be7fb3c843d91c13a855d376d..e4ba09d45c4bad18c05752ab3bbac195f3eff69e 100644 (file)
@@ -668,7 +668,7 @@ moduncon                    20           0
 modunconnomods               1           0
 ansireserved                 9           0
 fcnpost                      0          65
-fcnconstraint                0          15
+fcnconstraint                0          14
 nullret                      1           0
 nullstate                    1           0
 sizeoftype                   7           0
@@ -684,6 +684,6 @@ paramuse                     1           0
 typeuse                      1           0
 varuse                       4           0
                           ========  =========
-Total                      331         133
+Total                      331         132
 
 Finished LCLint checking --- 331 code errors found, as expected
This page took 0.205618 seconds and 4 git commands to generate.