Bug when transforming Streett into TGBA
In the automaton below, spot sees the word (\bar{a} a a \bar{a})^\omega
as accepted.
This is likely a problem in the function transforming Streett automata to TGBA.
In the automaton below, spot sees the word (\bar{a} a a \bar{a})^\omega
as accepted.
This is likely a problem in the function transforming Streett automata to TGBA.