• Alexandre Duret-Lutz's avatar
    * src/tgbaalgos/replayrun.hh, · 21e0e9bc
    Alexandre Duret-Lutz authored
    src/tgbaalgos/replayrun.cc (replay_tgba_run): Take a `debug'
    option to decide whether the output should look like that of
    print_tgba_run() or a complete debug trace.
    * src/tgbatest/ltl2tgba.cc (main): Call replay_tgba_run() with
    debug=true.
    21e0e9bc
ltl2tgba.cc 16.8 KB