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.