-
Alexandre Duret-Lutz authored
Those where never really publicized because they were slow and we failed to fix what we hopped to fix with them. They where never used by default. Getting rid of them will make it easier to cleanup the simulation code. * src/tgbaalgos/simulation.cc, src/tgbaalgos/simulation.hh: Remove the simulation code. * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh, src/tgbatest/ltl2tgba.cc: Do not call it. * src/bin/spot-x.cc: Update doc. * src/tgbatest/sim.test: Delete this file. * src/tgbatest/Makefile.am: Adjust. * src/tgbatest/spotlbtt.test, bench/ltl2tgba/tools.sim: Remove uses to don't care simulation.
01590273