diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-04-02 09:52:48 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-04-02 09:52:48 +0530 |
| commit | 77efe1a87022f80b01cfc9f01a7bf3241ea95b7a (patch) | |
| tree | d3104adf93ab4bb871e5b965942da6f7148dce97 /Source/VCGeneration/Check.cs | |
| parent | 47d399289a1d36c9473f145fb1e63e6db3420128 (diff) | |
Refactored CheckAssumptions API
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index d74497c0..b5dc4d41 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -824,7 +824,7 @@ namespace Microsoft.Boogie { }
// (check-sat + get-unsat-core)
- public virtual void CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+ public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
{
throw new NotImplementedException();
}
|