diff options
Diffstat (limited to 'Test/inline/Answer')
| -rw-r--r-- | Test/inline/Answer | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/inline/Answer b/Test/inline/Answer index d1666e03..f08209e3 100644 --- a/Test/inline/Answer +++ b/Test/inline/Answer @@ -6,11 +6,11 @@ Execution trace: Boogie program verifier finished with 1 verified, 1 error
-------------------- codeexpr.bpl --------------------
-codeexpr.bpl(35,5): Error BP5001: This assertion might not hold.
+codeexpr.bpl(40,5): Error BP5001: This assertion might not hold.
Execution trace:
- codeexpr.bpl(34,7): anon0
+ codeexpr.bpl(39,7): anon0
-Boogie program verifier finished with 3 verified, 1 error
+Boogie program verifier finished with 5 verified, 1 error
-------------------- test1.bpl --------------------
procedure Main();
|