diff options
author | wuestholz <unknown> | 2014-07-10 13:47:44 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-07-10 13:47:44 +0200 |
commit | 9abbf5e9060e152fb13c0cd5c9fbbdc3aba19f30 (patch) | |
tree | dd4ee649076e5b1a0db2cdc40542554a7f54be22 /Test/snapshots | |
parent | 5e52d81030d85b76cc6a0209617af8c21159755d (diff) |
Worked on the more advanced verification result caching.
Diffstat (limited to 'Test/snapshots')
-rw-r--r-- | Test/snapshots/runtest.snapshot.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/snapshots/runtest.snapshot.expect b/Test/snapshots/runtest.snapshot.expect index 80325bea..90c1c90b 100644 --- a/Test/snapshots/runtest.snapshot.expect +++ b/Test/snapshots/runtest.snapshot.expect @@ -127,14 +127,14 @@ Snapshots20.v0.bpl(13,9): Error BP5001: This assertion might not hold. Boogie program verifier finished with 0 verified, 1 error
Snapshots20.v1.bpl(9,9): Error BP5001: This assertion might not hold.
-Snapshots20.v1.bpl(13,9): Error BP5001: This assertion might not hold.
+Snapshots20.v0.bpl(13,9): Error BP5001: This assertion might not hold.
Boogie program verifier finished with 0 verified, 2 errors
Snapshots21.v0.bpl(7,9): Error BP5001: This assertion might not hold.
Snapshots21.v0.bpl(11,9): Error BP5001: This assertion might not hold.
Boogie program verifier finished with 0 verified, 2 errors
-Snapshots21.v1.bpl(11,9): Error BP5001: This assertion might not hold.
+Snapshots21.v0.bpl(11,9): Error BP5001: This assertion might not hold.
Snapshots21.v1.bpl(14,5): Error BP5001: This assertion might not hold.
Boogie program verifier finished with 0 verified, 2 errors
|