-
Alexandre Duret-Lutz authored
functions. * src/tgba/bddprint.cc (bdd_print_accset): Declare it. * src/tgbaalgos/dotty.cc (dotty_bfs::process_link): Use it. * src/tgbatest/tgbaread.test, src/tgbatest/explicit.test: Adjust expected output.
7e81306d
To find the state of this project's repository at the time of any of these versions, check out the tags.