Fixed problem with make dist so that packages can be made and distributed.

[splint.git] / test / constannot.expect

diff --git a/test/constannot.expect b/test/constannot.expect
index 1c530c40201719e4caee569a3989588fbf1316f7..6cb0756339a74f3cce8ea1dad755371f04af1289 100644 (file)
--- a/test/constannot.expect
+++ b/test/constannot.expect
@@ -1,12 +1,14 @@
 
 constannot.c: (in function foo2)
 constannot.c:11:3: Possible out-of-bounds store:
+    str[20]
     Unable to resolve constraint:
     requires maxSet(str @ constannot.c:11:3) >= 20
      needed to satisfy precondition:
     requires maxSet(str @ constannot.c:11:3) >= 20
 constannot.c: (in function foo3)
 constannot.c:20:3: Possible out-of-bounds store:
+    foo(buf)
     Unable to resolve constraint:
     requires <const int=20> <= 19
      needed to satisfy precondition: