Skip to content
  • Alexandre Duret-Lutz's avatar
    simulation: work on TωA · 80808133
    Alexandre Duret-Lutz authored
    * src/twaalgos/simulation.cc, src/twaalgos/simulation.hh: Adjust
    to work on TωA.  This only require separate acceptance sets.
    * src/tests/sim3.test: New test.
    * src/tests/Makefile.am: Add it.
    80808133