diff options
Diffstat (limited to 'Test/symdiff/Answer')
-rw-r--r-- | Test/symdiff/Answer | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/symdiff/Answer b/Test/symdiff/Answer index ad21a1ea..322dacfd 100644 --- a/Test/symdiff/Answer +++ b/Test/symdiff/Answer @@ -1,5 +1,5 @@ -foo.bpl(15,3): Error BP5001: This assertion might not hold.
-foo.bpl(15,3): Error BP5001: This assertion might not hold.
-foo.bpl(15,3): Error BP5001: This assertion might not hold.
+foo.bpl(17,3): Error BP5001: This assertion might not hold.
+foo.bpl(17,3): Error BP5001: This assertion might not hold.
+foo.bpl(17,3): Error BP5001: This assertion might not hold.
Boogie program verifier finished with 0 verified, 3 errors
|