diff options
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)
|