Skip to content
Find file Blame History Permalink
  • 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
To find the state of this project's repository at the time of any of these versions, check out the tags.