diff options
| -rw-r--r-- | Source/Provers/SMTLib/Z3.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs index 14b8ebb2..a2bf80ba 100644 --- a/Source/Provers/SMTLib/Z3.cs +++ b/Source/Provers/SMTLib/Z3.cs @@ -352,7 +352,6 @@ namespace Microsoft.Boogie.SMTLib }
options.AddWeakSmtOption("MODEL_ON_TIMEOUT", "true");
- options.AddWeakSmtOption("MODEL_ON_FINAL_CHECK", "true");
// legacy option handling
if (!CommandLineOptions.Clo.z3AtFlag)
|