diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-04-28 11:12:33 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-04-28 11:12:33 -0700 |
| commit | 1e31977bf998d3b0f466858c48afc54b0599e9b3 (patch) | |
| tree | 323de8c5c8f4f5a2d60b70dd95bfb92a4ab9c94b /Source/Provers/SMTLib/SMTLibProverOptions.cs | |
| parent | 8522c867c262c0972873e6ee69f2ae8c914cb2e5 (diff) | |
removed lazy inlining
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 6fe025c0..8aea84c5 100644 --- a/Source/Provers/SMTLib/SMTLibProverOptions.cs +++ b/Source/Provers/SMTLib/SMTLibProverOptions.cs @@ -51,7 +51,6 @@ namespace Microsoft.Boogie.SMTLib return CommandLineOptions.Clo.PrintErrorModel >= 1 ||
CommandLineOptions.Clo.EnhancedErrorMessages == 1 ||
CommandLineOptions.Clo.ModelViewFile != null ||
- CommandLineOptions.Clo.LazyInlining > 0 ||
(CommandLineOptions.Clo.StratifiedInlining > 0 && !CommandLineOptions.Clo.StratifiedInliningWithoutModels);
}
|