diff options
| author |  Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-10-19 23:40:36 +0530 |
|---|---|---|
| committer | Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-10-19 23:40:36 +0530 |
| commit | f33e5329fc935e1d3ef3c1ef53bb4c09c96b1e23 (patch) | |
| tree | f6df4d7c7371e7b9a7cf1f6fef9f70baf4ada255 /Source/Core | |
| parent | 9c387c5ff56b6a54f7090d0a82e1e21a5631ff3a (diff) | |
Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index f7ccca9c..591b7383 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1524,7 +1524,7 @@ namespace Microsoft.Boogie { UseArrayTheory = true;
UseAbstractInterpretation = false;
MaxProverMemory = 0; // no max: avoids restarts
- if (ProverName == "Z3API")
+ if (ProverName == "Z3API" || ProverName == "SMTLIB")
{
ProverCCLimit = 1;
}
|