diff options
| author |  kuruis <unknown> | 2013-12-18 00:23:27 -0800 |
|---|---|---|
| committer | kuruis <unknown> | 2013-12-18 00:23:27 -0800 |
| commit | 8063c1664e4158c7dfd7cf9843e55e3ddbca3a3a (patch) | |
| tree | 82ff39c3725e334ded7c919143805b7b947a0446 /Source/Concurrency/YieldTypeChecker.cs | |
| parent | 129ec3bd85562ee168377f4000f951e38d5f45fa (diff) | |
Epsilon reduction per phase automaton added
Diffstat (limited to 'Source/Concurrency/YieldTypeChecker.cs')
| -rw-r--r-- | Source/Concurrency/YieldTypeChecker.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs index 3bc36ce7..5397b78a 100644 --- a/Source/Concurrency/YieldTypeChecker.cs +++ b/Source/Concurrency/YieldTypeChecker.cs @@ -872,7 +872,7 @@ We use bool IsCallCmdExitPoint(Cmd cmd, int yTypeCheckCurrentPhaseNum) returns // Console.WriteLine(move.SourceState.ToString() + " " + solver.PrettyPrint(move.Condition)+ " " + move.TargetState.ToString());
}
#endif
-
+ yieldTypeCheckAutomaton.RemoveEpsilons(solver.MkOr);
return yieldTypeCheckAutomaton;
}
}
|