Alexandre Duret-Lutz authored
Cannot test them because the run returned by the emptiness checks are currently incomplete (they lack the acceptance conditions, and sometimes even the labels in the prefix). * src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS, libtgbaalgos_la_SOURCES): Add them. * src/tgbatest/ltl2tgba.cc (main): Prepare to use replay_tgba_run when the emptiness checks are fixed.7819f14d
To find the state of this project's repository at the time of any of these versions, check out the tags.