diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-04-01 22:21:52 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-04-01 22:21:52 -0700 |
| commit | bc42f101e4389d954afadae0e9fe95f7acc6c4ad (patch) | |
| tree | 029597ed22aaa6b8e84829b83b4b02c6ac73c195 /Source/VCGeneration/Check.cs | |
| parent | 3968dee28a8ee0c7164fb98208a796657c3b8479 (diff) | |
| parent | 4ab395733bd4208651ac3edb2fe06f3170201986 (diff) | |
Merge
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 832d4430..1a6732c2 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();
}
|