diff options
| author |  qadeer <unknown> | 2014-07-20 13:45:14 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-07-20 13:45:14 -0700 |
| commit | 315922109c235044f985ca19e1bfbe5b95d1873c (patch) | |
| tree | 3aea2c73f09bd2659fb44656ffb26d869698def7 /Source/Concurrency | |
| parent | 6a95ade5ac61a0c08e4370c8af8141e03f30a470 (diff) | |
enabled merging of yield calls
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/OwickiGries.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs index 036d2543..e5201809 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -838,7 +838,7 @@ namespace Microsoft.Boogie impl.LocVars.AddRange(oldPcs);
impl.LocVars.AddRange(oldOks);
- //UnifyCallsToYieldProc(impl, ogOldGlobalMap, domainNameToLocalVar);
+ UnifyCallsToYieldProc(impl, ogOldGlobalMap, domainNameToLocalVar);
}
private void UnifyCallsToYieldProc(Implementation impl, Dictionary<Variable, Variable> ogOldGlobalMap, Dictionary<string, Variable> domainNameToLocalVar)
|