• Thomas Badie's avatar
    Fix non determinism in the simulation. · d10e772d
    Thomas Badie authored
    * 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
simulation.cc 23.8 KB