diff options
Diffstat (limited to 'Test/livevars')
| -rw-r--r-- | Test/livevars/Answer | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Test/livevars/Answer b/Test/livevars/Answer index 6bcba1c3..d958205f 100644 --- a/Test/livevars/Answer +++ b/Test/livevars/Answer @@ -1,4 +1,3 @@ -Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft.
bla1.bpl(2095,5): Error BP5001: This assertion might not hold.
Execution trace:
bla1.bpl(749,3): start#1
@@ -99,10 +98,8 @@ Execution trace: bla1.bpl(2086,3): label_1#1
Boogie program verifier finished with 0 verified, 1 error
-Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft.
Boogie program verifier finished with 1 verified, 0 errors
-Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft.
daytona_bug2_ioctl_example_2.bpl(4833,5): Error BP5001: This assertion might not hold.
Execution trace:
daytona_bug2_ioctl_example_2.bpl(805,3): start#2
@@ -296,7 +293,6 @@ Execution trace: daytona_bug2_ioctl_example_2.bpl(4824,3): label_1#2
Boogie program verifier finished with 0 verified, 1 error
-Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft.
stack_overflow.bpl(97942,5): Error BP5001: This assertion might not hold.
Execution trace:
stack_overflow.bpl(1141,3): start#1
|