-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Do simulation on the BA produced in --high mode. * src/bin/spot-x.cc: Document the ba-simul option that can be used to disable it.
4c2791e0
* src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Do simulation on the BA produced in --high mode. * src/bin/spot-x.cc: Document the ba-simul option that can be used to disable it.