diff options
| author |  qadeer <unknown> | 2014-04-25 16:47:36 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-04-25 16:47:36 -0700 |
| commit | 1a114f457299c87f9e9548992659ffc726fe5e7a (patch) | |
| tree | fe1e6b9c3d79d8547c22db8fb5a7f44315f5b5ce /Test/og | |
| parent | b17515ca23fc7f5ae1fb8e6642366f761d0eeacf (diff) | |
updated the mover checks
Diffstat (limited to 'Test/og')
| -rw-r--r-- | Test/og/Answer | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/og/Answer b/Test/og/Answer index f64868f7..a02a2838 100644 --- a/Test/og/Answer +++ b/Test/og/Answer @@ -98,7 +98,7 @@ Boogie program verifier finished with 1 verified, 1 error -------------------- DeviceCache.bpl --------------------
-Boogie program verifier finished with 50 verified, 0 errors
+Boogie program verifier finished with 35 verified, 0 errors
-------------------- ticket.bpl --------------------
@@ -114,8 +114,8 @@ Boogie program verifier finished with 6 verified, 0 errors -------------------- multiset.bpl --------------------
-Boogie program verifier finished with 104 verified, 0 errors
+Boogie program verifier finished with 85 verified, 0 errors
-------------------- civl-paper.bpl --------------------
-Boogie program verifier finished with 37 verified, 0 errors
+Boogie program verifier finished with 29 verified, 0 errors
|