diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-02-08 11:16:52 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-02-08 11:16:52 -0800 |
| commit | b6de843c1f31591b34325f90a814e95e97e581f8 (patch) | |
| tree | 2e5165f9ff6a28bdae96d041ee49aac80a74ce45 /Source/Provers/SMTLib/SMTLibProverOptions.cs | |
| parent | 9df8e7d432c77110dc4a15488f391388617b8183 (diff) | |
houdini will not request models now
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProverOptions.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProverOptions.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProverOptions.cs b/Source/Provers/SMTLib/SMTLibProverOptions.cs index 036b1f4a..b7b7f24d 100644 --- a/Source/Provers/SMTLib/SMTLibProverOptions.cs +++ b/Source/Provers/SMTLib/SMTLibProverOptions.cs @@ -46,7 +46,6 @@ namespace Microsoft.Boogie.SMTLib return CommandLineOptions.Clo.PrintErrorModel >= 1 ||
CommandLineOptions.Clo.EnhancedErrorMessages == 1 ||
CommandLineOptions.Clo.ModelViewFile != null ||
- CommandLineOptions.Clo.ContractInfer ||
CommandLineOptions.Clo.LazyInlining > 0 ||
(CommandLineOptions.Clo.StratifiedInlining > 0 && !CommandLineOptions.Clo.StratifiedInliningWithoutModels);
}
|