-
Alexandre Duret-Lutz authored
* src/tgbaalgos/simulation.cc: Attempt to fix several cases. * src/tgbatest/sim.test: Add more tests. * src/tgbatest/sim2.test: New file. * src/tgbatest/Makefile.am: Add it.
1337c9c3
* src/tgbaalgos/simulation.cc: Attempt to fix several cases. * src/tgbatest/sim.test: Add more tests. * src/tgbatest/sim2.test: New file. * src/tgbatest/Makefile.am: Add it.