-
* src/tgbatest/ltl2tgba.cc: update the description of the options for the different kinds of Testing Automata: TA, STA, GTA, SGTA and TGTA.
84b1d24e
* src/tgbatest/ltl2tgba.cc: update the description of the options for the different kinds of Testing Automata: TA, STA, GTA, SGTA and TGTA.