diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-04-02 10:48:11 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-04-02 10:48:11 +0530 |
| commit | 4ab395733bd4208651ac3edb2fe06f3170201986 (patch) | |
| tree | 3e1278019aeb060be858ed592e97a685c3a8cee9 /Source/Provers/SMTLib | |
| parent | 77efe1a87022f80b01cfc9f01a7bf3241ea95b7a (diff) | |
bug fix for previous refactoring
Diffstat (limited to 'Source/Provers/SMTLib')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 86a117c2..509f81ce 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -792,7 +792,7 @@ namespace Microsoft.Boogie.SMTLib /// </summary>
static int nameCounter = 0;
- public override Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ public override Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
{
unsatCore = new List<int>();
@@ -810,7 +810,7 @@ namespace Microsoft.Boogie.SMTLib }
Check();
- var prevOutcome = GetResponse();
+ var prevOutcome = CheckOutcomeCore(handler);
if (prevOutcome != Outcome.Valid)
{
|