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/VCGeneration/Check.cs | |
| parent | 77efe1a87022f80b01cfc9f01a7bf3241ea95b7a (diff) | |
bug fix for previous refactoring
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index b5dc4d41..a1b9e38d 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -823,8 +823,8 @@ namespace Microsoft.Boogie { throw new NotImplementedException();
}
- // (check-sat + get-unsat-core)
- public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ // (check-sat + get-unsat-core + checkOutcome)
+ public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
{
throw new NotImplementedException();
}
|