-
Alexandre Duret-Lutz authored
* src/tgbaalgos/lbtt.cc: Renumber acceptance sets as they are read. * src/tgbatest/lbttparse.test: Add a test cases.
e426c635
* src/tgbaalgos/lbtt.cc: Renumber acceptance sets as they are read. * src/tgbatest/lbttparse.test: Add a test cases.