diff options
| author |  Ally Donaldson <unknown> | 2014-06-06 12:01:15 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2014-06-06 12:01:15 +0100 |
| commit | 800a1f0e203bba46b24aadab3df2f332af0dbc71 (patch) | |
| tree | ec18484534155911e4a446801f2c68c7e9e1df6f /Source/Provers/SMTLib/ProverInterface.cs | |
| parent | 44ac421d09d59515464b6c0df3c71d0110111000 (diff) | |
Small refactoring
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 56907a89..b5d9bc3d 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -1215,11 +1215,12 @@ namespace Microsoft.Boogie.SMTLib currentErrorHandler = handler;
FlushProverWarnings();
- var errorsLeft = CommandLineOptions.Clo.ProverCCLimit;
-
+ int errorsLeft;
if (CommandLineOptions.Clo.ConcurrentHoudini) {
Contract.Assert(taskID >= 0);
errorsLeft = CommandLineOptions.Clo.Cho[taskID].ProverCCLimit;
+ } else {
+ errorsLeft = CommandLineOptions.Clo.ProverCCLimit;
}
if (errorsLeft < 1)
|