diff options
| author |  qadeer <unknown> | 2014-02-12 10:12:42 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-02-12 10:12:42 -0800 |
| commit | c0252c602f4e77efafa93f5ba51a704319fe61d7 (patch) | |
| tree | 2b50a3d664a4450a6eb1957d2ea1335c56b3fd4a /Test/og | |
| parent | 5ad109ceffd8bf8c671e3605ac7530c8448b38b6 (diff) | |
forgot to update the Answer file earlier
Diffstat (limited to 'Test/og')
| -rw-r--r-- | Test/og/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/og/Answer b/Test/og/Answer index 511a3ad5..09c2fd44 100644 --- a/Test/og/Answer +++ b/Test/og/Answer @@ -115,3 +115,7 @@ Boogie program verifier finished with 6 verified, 0 errors -------------------- multiset.bpl --------------------
Boogie program verifier finished with 102 verified, 0 errors
+
+-------------------- civl-paper.bpl --------------------
+
+Boogie program verifier finished with 35 verified, 0 errors
|