Added support for or constraints.

[splint.git] / test / db1.out

diff --git a/test/db1.out b/test/db1.out
index e4ba09d45c4bad18c05752ab3bbac195f3eff69e..f1cb5c94f3eb02910fcbc4d329d7535eebcb83b7 100644 (file)
--- a/test/db1.out
+++ b/test/db1.out
@@ -667,7 +667,7 @@ modnomods                    4           0
 moduncon                    20           0
 modunconnomods               1           0
 ansireserved                 9           0
-fcnpost                      0          65
+fcnpost                      0          67
 fcnconstraint                0          14
 nullret                      1           0
 nullstate                    1           0
@@ -684,6 +684,6 @@ paramuse                     1           0
 typeuse                      1           0
 varuse                       4           0
                           ========  =========
-Total                      331         132
+Total                      331         134
 
 Finished LCLint checking --- 331 code errors found, as expected