diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-20 10:09:54 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-20 10:09:54 +0530 |
| commit | 5820d0619e8cfeb38e6fae4d6f1fd6df5537b425 (patch) | |
| tree | a8519375adf62ae472b231281fa7ab3f56006afd /Source/Provers/SMTLib/SMTLibProverOptions.cs | |
| parent | 6828729b6a385a70adf3e590d3acdf5a0867aab4 (diff) | |
Bug fix for ExplainHoudini. Made it robust under timeouts.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProverOptions.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProverOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProverOptions.cs b/Source/Provers/SMTLib/SMTLibProverOptions.cs index 4d002956..b1cef239 100644 --- a/Source/Provers/SMTLib/SMTLibProverOptions.cs +++ b/Source/Provers/SMTLib/SMTLibProverOptions.cs @@ -45,7 +45,7 @@ namespace Microsoft.Boogie.SMTLib public bool OptimizeForBv = false;
public bool ProduceModel() {
- return !CommandLineOptions.Clo.UseLabels ||
+ return !CommandLineOptions.Clo.UseLabels || CommandLineOptions.Clo.ExplainHoudini ||
ExpectingModel();
}
|