diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-07-04 14:51:29 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-07-04 14:51:29 +0530 |
| commit | fd1ed2e958a2af3606969c7111387f5236a70bd7 (patch) | |
| tree | 1dd0fe962608d52056783124f20ca9c711216421 /Source/VCGeneration/Check.cs | |
| parent | 17bb3df3ed05cb1687008f5741e3be6fc71d0266 (diff) | |
Made error trace generation (without labels) more general for stratified
inlining
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index e3b1cb2d..1f50d4a8 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -367,6 +367,12 @@ namespace Microsoft.Boogie { Undetermined
}
public class ErrorHandler {
+ // Used in CheckOutcomeCore
+ public virtual int StartingProcId()
+ {
+ return 0;
+ }
+
public virtual void OnModel(IList<string> labels, Model model) {
Contract.Requires(cce.NonNullElements(labels));
}
|