• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/replayrun.cc, src/tgbaalgos/replayrun.hh: New files. · 7819f14d
    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
replayrun.cc 2.94 KB