-
Alexandre Duret-Lutz authored
* src/tgbaalgos/isdet.cc: Simplify determinism check. * src/tgbaalgos/isdet.hh, src/tgbaalgos/isdet.cc (is_complete): New function. * src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh, src/bin/dstar2tgba.cc src/bin/ltl2tgba.cc: Add escape sequence %p to the possible statistics to show whether an automaton is complete. * src/tgbatest/nondet.test: Add a couple more tests.
4dd8d802