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

[splint.git] / test / maxset.expect

diff --git a/test/maxset.expect b/test/maxset.expect
index 35e2d2f39628109740364436b28d559e6e6f6bfe..86afd8d48849359a96ceb2f9ca0d17ac071f4b1c 100644 (file)
--- a/test/maxset.expect
+++ b/test/maxset.expect
@@ -4,12 +4,12 @@ Finished LCLint checking --- no code errors found
 maxsetnoannotations.c: (in function noancopy)
 maxsetnoannotations.c:2:3: Possible out-of-bounds store.  Unable to resolve
     constraint:
-    requires: : maxSet ((a @ maxsetnoannotations.c:2:11 ) )  >=  maxRead ((b @
-    maxsetnoannotations.c:2:13 ) )
+    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+    maxsetnoannotations.c:2:13)
      needed to satisfy precondition:
-    requires: : maxSet ((a @ maxsetnoannotations.c:2:11 ) )  >=  maxRead ((b @
-    maxsetnoannotations.c:2:13 ) )
-     derived from strcpy precondition: requires: :
-    maxSet ((<parameter 1> ) )  >=  maxRead ((<parameter 2> ) )
+    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
+    maxsetnoannotations.c:2:13)
+     derived from strcpy precondition: requires maxSet(<parameter 1>) >=
+    maxRead(<parameter 2>)
 
 Finished LCLint checking --- 1 code error found, as expected