-
Alexandre Duret-Lutz authored
* src/tgbaalgos/lbtt.cc: Do not expect a new line after the number of acceptance conditions. * src/tgbatest/lbttparse.test: Add a test case.
89b9cc5f
* src/tgbaalgos/lbtt.cc: Do not expect a new line after the number of acceptance conditions. * src/tgbatest/lbttparse.test: Add a test case.