-
* src/tgbaalgos/simulation.cc: Fix non determinism. * src/tgbatest/simdet.test: Test that the behavior is now correct. * src/tgbatest/Makefile.am (TESTS): Add the new test to the test-suite.
d10e772d
* src/tgbaalgos/simulation.cc: Fix non determinism. * src/tgbatest/simdet.test: Test that the behavior is now correct. * src/tgbatest/Makefile.am (TESTS): Add the new test to the test-suite.