-
Alexandre Duret-Lutz authored
* src/tgbaalgos/reachiter.hh, src/tgbaalgos/reachiter.cc: Fix the tgba_reachable_iterator_depth_first implementation by not making inheriting from tgba_reachable_iterator. Add a tgba_reachable_iterator_depth_first_stack * src/tgbatest/sim.test, src/tgbatest/dstar.test: Adjust.
29bc087d