Skip to content
  • Alexandre Duret-Lutz's avatar
    simulation: many fixes. · 1337c9c3
    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