diff options
| author |  stobies <unknown> | 2010-08-06 08:23:27 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-08-06 08:23:27 +0000 |
| commit | 149d9a5ec06529e7f4c4c6e3cb688d2c73a2c1f0 (patch) | |
| tree | 58dd84047d9d685caa78f14e5338a593371fbc9c /Test/bitvectors/Answer | |
| parent | 92414e15910661de7203bbaf8a20942baac50403 (diff) | |
Boogie: added /z3bv option that overrides the current setting of Z3 options for better performance on VCs that are heavy on bitvector arithmetic
Diffstat (limited to 'Test/bitvectors/Answer')
| -rw-r--r-- | Test/bitvectors/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/bitvectors/Answer b/Test/bitvectors/Answer index 1bcc3a2b..aa060ee4 100644 --- a/Test/bitvectors/Answer +++ b/Test/bitvectors/Answer @@ -49,3 +49,7 @@ Boogie program verifier finished with 0 verified, 1 error -------------------- bv8.bpl --------------------
Boogie program verifier finished with 2 verified, 0 errors
+-------------------- bv9.bpl /bv:z /z3bv --------------------
+Boogie program verifier version 2, Copyright (c) 2003-2010, Microsoft.
+
+Boogie program verifier finished with 1 verified, 0 errors
|