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

[splint.git] / test / simplebufferConstraintTests.expect

diff --git a/test/simplebufferConstraintTests.expect b/test/simplebufferConstraintTests.expect
index e6438a6ad12c414ea07e4f44fb18a456107842f7..ef6150a24c70784b1f3a1eac98ab7b258feed2c8 100644 (file)
--- a/test/simplebufferConstraintTests.expect
+++ b/test/simplebufferConstraintTests.expect
@@ -4,26 +4,26 @@ m.c:9:1: Index of possibly null pointer f: f
    m.c:8:5: Storage f may become null
 sizeof.c: (in function f)
 sizeof.c:17:1: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : ( 2 )   >=  ( 3 ) 
+    requires 2 >= 3
      needed to satisfy precondition:
-    requires: : maxSet ((x @ sizeof.c:17:1 ) )  >=  ( 3 ) 
+    requires maxSet(x @ sizeof.c:17:1) >= 3
 test3.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test3.c: (in function t)
 test3.c:9:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : ( 99 )   >=  ( 101 ) 
+    requires 99 >= 101
      needed to satisfy precondition:
-    requires: : maxSet ((g @ test3.c:9:3 ) )  >=  ( 101 ) 
+    requires maxSet(g @ test3.c:9:3) >= 101
 test7.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test7.c: (in function t)
 test7.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : maxSet ((g @ test7.c:4:3 ) )  >=  ( 4 ) 
+    requires maxSet(g @ test7.c:4:3) >= 4
      needed to satisfy precondition:
-    requires: : maxSet ((g @ test7.c:6:3 ) )  >=  ( 2 ) 
+    requires maxSet(g @ test7.c:6:3) >= 2
 test7.c:8:3: Possible out-of-bounds store.  Unable to resolve constraint:
-    requires: : maxSet ((j @ test7.c:8:3 ) )  >=  ( 0 ) 
+    requires maxSet(j @ test7.c:8:3) >= 0
      needed to satisfy precondition:
-    requires: : maxSet ((j @ test7.c:8:3 ) )  >=  ( 0 ) 
+    requires maxSet(j @ test7.c:8:3) >= 0
 
 Finished LCLint checking --- 7 code errors found