diff options
| author |  wuestholz <unknown> | 2015-01-16 12:21:49 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2015-01-16 12:21:49 +0100 |
| commit | a3325de0835308c293e999b574a804366f37d936 (patch) | |
| tree | b334ed029df4f81f6c9dc773d77753d084642abe /Test/snapshots | |
| parent | ae2b9e637a608626b66bae0824a2bcf616bdb4ed (diff) | |
Worked on the verification result caching (use native support for partially verified assertions).
Diffstat (limited to 'Test/snapshots')
| -rw-r--r-- | Test/snapshots/runtest.snapshot.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/snapshots/runtest.snapshot.expect b/Test/snapshots/runtest.snapshot.expect index 88dd1a1f..5d641f98 100644 --- a/Test/snapshots/runtest.snapshot.expect +++ b/Test/snapshots/runtest.snapshot.expect @@ -466,7 +466,7 @@ Processing command (at Snapshots24.v1.bpl(11,9)) assert {:subsumption 1} 5 == 5; Processing command (at Snapshots24.v1.bpl(15,9)) assert {:subsumption 2} 6 != 6;
>>> RecycleError
Processing command (at Snapshots24.v1.bpl(19,9)) assert {:subsumption 1} 2 == 2;
- >>> DoNothingToAssert
+ >>> MarkAsFullyVerified
Processing command (at Snapshots24.v1.bpl(20,9)) assert {:subsumption 2} 4 == 4;
>>> MarkAsFullyVerified
Processing command (at Snapshots24.v1.bpl(21,9)) assert 5 == 5;
|