From 9abbf5e9060e152fb13c0cd5c9fbbdc3aba19f30 Mon Sep 17 00:00:00 2001 From: wuestholz Date: Thu, 10 Jul 2014 13:47:44 +0200 Subject: Worked on the more advanced verification result caching. --- Test/snapshots/runtest.snapshot.expect | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Test/snapshots') 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 -- cgit v1.2.3