diff options
author | wuestholz <unknown> | 2014-10-19 19:14:47 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-19 19:14:47 +0200 |
commit | 92aa9a93dd286f10cebd2e10e2bdd2065d51b1aa (patch) | |
tree | 49eabf7246f4aab6cafaaa7d57e99e1e65b0dfdf /Test/snapshots/runtest.snapshot | |
parent | 8f2ef8a079ea77caead0a62f5bec8ce34181d907 (diff) |
Added more tests for the verification result caching.
Diffstat (limited to 'Test/snapshots/runtest.snapshot')
-rw-r--r-- | Test/snapshots/runtest.snapshot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/snapshots/runtest.snapshot b/Test/snapshots/runtest.snapshot index 2924b15a..484fa8e2 100644 --- a/Test/snapshots/runtest.snapshot +++ b/Test/snapshots/runtest.snapshot @@ -1,2 +1,2 @@ -// RUN: %boogie -errorTrace:0 -traceCaching:1 -verifySnapshots:2 -verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl Snapshots8.bpl Snapshots9.bpl Snapshots10.bpl Snapshots11.bpl Snapshots12.bpl Snapshots13.bpl Snapshots14.bpl Snapshots15.bpl Snapshots16.bpl Snapshots17.bpl Snapshots18.bpl Snapshots19.bpl Snapshots20.bpl Snapshots21.bpl Snapshots22.bpl Snapshots23.bpl Snapshots24.bpl Snapshots25.bpl Snapshots26.bpl Snapshots27.bpl > "%t" -// RUN: %diff "%s.expect" "%t" +// RUN: %boogie -errorTrace:0 -traceCaching:1 -verifySnapshots:2 -verifySeparately -noinfer Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl Snapshots8.bpl Snapshots9.bpl Snapshots10.bpl Snapshots11.bpl Snapshots12.bpl Snapshots13.bpl Snapshots14.bpl Snapshots15.bpl Snapshots16.bpl Snapshots17.bpl Snapshots18.bpl Snapshots19.bpl Snapshots20.bpl Snapshots21.bpl Snapshots22.bpl Snapshots23.bpl Snapshots24.bpl Snapshots25.bpl Snapshots26.bpl Snapshots27.bpl Snapshots28.bpl > "%t"
+// RUN: %diff "%s.expect" "%t"
|