diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-09-06 12:42:54 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-09-06 12:42:54 -0700 |
| commit | c31f4ebf70f0fc8fce9519add20976208e5cea56 (patch) | |
| tree | 21378ce0bd4bb67d68278a366592e791535f13f1 /Source/VCGeneration/VC.cs | |
| parent | 982548560d971b07dcaefb39f186833186724570 (diff) | |
partial check in regarding getting states working with stratified inlining
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index c76df8ef..001b3f2d 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -88,6 +88,7 @@ namespace VC { public Hashtable /*Variable->Expr*/ exitIncarnationMap;
public Hashtable /*GotoCmd->returnCmd*/ gotoCmdOrigins;
public Hashtable/*<int, Absy!>*/ label2absy;
+ public ModelViewInfo mvInfo;
public Dictionary<Block, VCExprVar> reachVars;
public List<VCExprLetBinding> reachVarBindings;
|