diff options
Diffstat (limited to 'Test/test21/Answer')
-rw-r--r-- | Test/test21/Answer | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Test/test21/Answer b/Test/test21/Answer index 28aa4e8b..3ae659ec 100644 --- a/Test/test21/Answer +++ b/Test/test21/Answer @@ -400,8 +400,11 @@ Boogie program verifier finished with 1 verified, 0 errors Colors.bpl(13,3): Error BP5001: This assertion might not hold.
Execution trace:
Colors.bpl(12,3): anon0
+Colors.bpl(20,3): Error BP5001: This assertion might not hold.
+Execution trace:
+ Colors.bpl(19,3): anon0
-Boogie program verifier finished with 1 verified, 1 error
+Boogie program verifier finished with 0 verified, 2 errors
--------------------- File HeapAbstraction.bpl ----------------------------
HeapAbstraction.bpl(15,3): Error BP5001: This assertion might not hold.
Execution trace:
|