diff options
| author |  MichalMoskal <unknown> | 2010-10-14 21:45:23 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-14 21:45:23 +0000 |
| commit | 2cf9c9394780b1affd5a764b269757310d977b7a (patch) | |
| tree | 0cd61bc933a70e38d743ba739475233513f7de0f /Source/VCGeneration/ConditionGeneration.cs | |
| parent | 6105f277f5d648e08987065dc697b5292ebf277d (diff) | |
Skip unchagned variables in model dumps. Fix testcase
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index 0d40bc21..927868b5 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -233,7 +233,7 @@ namespace Microsoft.Boogie { var e = (Expr)map.IncarnationMap[v];
if (e == null) continue;
- // if (prevInc[v] == e) continue; // skip unchanged variables
+ if (prevInc[v] == e) continue; // skip unchanged variables
Model.Element elt;
|