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 /Source/Provers/Simplify/ProverInterface.cs | |
| 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 'Source/Provers/Simplify/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs index 923a62ef..abe644ec 100644 --- a/Source/Provers/Simplify/ProverInterface.cs +++ b/Source/Provers/Simplify/ProverInterface.cs @@ -519,7 +519,7 @@ namespace Microsoft.Boogie.Simplify { [NoDefaultContract]
private void FireUpNewProver()
{
- Contract.Requires( cce.IsExposed(this));
+ Contract.Requires( cce.IsExposed(this));
Contract.Requires( thmProver == null);
Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);
|