REmoved non-working test from make file and changed .expects to reflect the new messa...

[splint.git] / test / bufferTest.out

diff --git a/test/bufferTest.out b/test/bufferTest.out
index 4d59c0eca8c177cfb6bbb9a90eb963bf9d112774..724d681f135aea776365970fffeb66ab1e37a07e 100644 (file)
--- a/test/bufferTest.out
+++ b/test/bufferTest.out
@@ -2,20 +2,20 @@
 test4.c: (in function t)
 test4.c:6:3: Variable g used before definition
 test4.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : maxSet ((g @ test4.c:6:3 ) )  >=  ( 100 ) 
+    requires maxSet(g @ test4.c:6:3) >= 100
      needed to satisfy precondition:
-    requires: : maxSet ((g @ test4.c:6:3 ) )  >=  ( 100 ) 
+    requires maxSet(g @ test4.c:6:3) >= 100
 test6.c:2:6: Function t defined more than once
    test4.c:15:1: Previous definition of t
 test6.c: (in function t)
 test6.c:5:4: Variable g used before definition
 test6.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : maxSet ((g @ test6.c:5:4 ) )  >=  ( 1 ) 
+    requires maxSet(g @ test6.c:5:4) >= 1
      needed to satisfy precondition:
-    requires: : maxSet ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
+    requires maxSet(g @ test6.c:6:3) >= 0
 test6.c:6:10: Possible out-of-bounds read.  Unable to resolve constraint:
-    requires: : maxRead ((g @ test6.c:5:4 ) )  >=  ( 2 ) 
+    requires maxRead(g @ test6.c:5:4) >= 2
      needed to satisfy precondition:
-    requires: : maxRead ((g @ test6.c:6:10 ) )  >=  ( 1 ) 
+    requires maxRead(g @ test6.c:6:10) >= 1
 
 Finished LCLint checking --- 6 code errors found