Skip to content
Snippets Groups Projects
Unverified Commit d96b0d91 authored by Jan Trávníček's avatar Jan Trávníček Committed by Tomáš Pecka
Browse files

Revert "str: tune the pair from string parsing"

This reverts commit bc91e284.

Parser can't parse automata string inputs where a state containing a
pair is also a final state.

 NFA a b c d
 ><<(InitialStateLabel), 0> <a, 1> <b, 2> <c, 3> -
 <<a, 1> <a, 1> - - -
 <b, 2> - <b, 2> <c, 3> -
 <c, 3> - - - <d, 4>
 <<d, 4> - - - -
parent a6347a48
No related branches found
No related tags found
1 merge request!199Revert "str: tune the pair from string parsing"
Pipeline #161689 passed with warnings