diff options
| author |  akashlal <unknown> | 2014-06-28 15:54:30 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2014-06-28 15:54:30 +0530 |
| commit | b3c1b63ae910ec9df00594d7d14e852cf7e709e5 (patch) | |
| tree | 7a16dd97df45da5f5f7ce291658c8f2eafeed545 /Source/VCGeneration/Check.cs | |
| parent | c87e9aa5300dde782b7d0a0069ac7ddbc14e6697 (diff) | |
OnModel now carries the result of the prover call
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 a77bfba5..9fc301da 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -461,7 +461,7 @@ namespace Microsoft.Boogie { return 0;
}
- public virtual void OnModel(IList<string> labels, Model model) {
+ public virtual void OnModel(IList<string> labels, Model model, Outcome proverOutcome) {
Contract.Requires(cce.NonNullElements(labels));
}
|