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 | |
parent | 129ec3bd85562ee168377f4000f951e38d5f45fa (diff) |
Epsilon reduction per phase automaton added
-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;
}
}
|