diff options
| author |  qadeer <unknown> | 2010-02-13 18:56:40 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-02-13 18:56:40 +0000 |
| commit | 0ca423c504048ec31149b6d7b1a257c25f368910 (patch) | |
| tree | bd8ba1deb9d11611b9bffb2c3b5435b710cc116a /Test/livevars | |
| parent | a93807200244868daaa6e33f2f4da445fe7d52a7 (diff) | |
eliminated the line printing version number in the golden output
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
|