-
* src/taalgos/tgba2ta.cc: improves the STA (Single-pass TA) by adding the artificial livelock state as the first successor.
d64b4045
* src/taalgos/tgba2ta.cc: improves the STA (Single-pass TA) by adding the artificial livelock state as the first successor.