-
Alexandre Duret-Lutz authored
src/tgbaalgos/magic.cc, call explicit_magic_search() instead of building a spot::magic_search. * iface/gspn/udcseltl.test: Adjust to new output of print_tgba_run().
a67e2d0b
To find the state of this project's repository at the time of any of these versions, check out the tags.