Tomáš Pecka
authored
Algorithm automaton::transform::AutomatonIteration resulted in wrong output when the input automaton had a transition from the initial state to a final state. If such transitions exists, we must also add a transition from the new initial state to the old initial state in the new automata. Added a test case for this particular case. Closes #211
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| convert | ||
| determinize | ||
| generate | ||
| properties | ||
| run | ||
| simplify | ||
| transform | ||