• Alexandre Duret-Lutz's avatar
    stats: add %r to display run-time · bfbe5b44
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh: Add
    support for printing run-time.
    * src/bin/ltl2tgba.cc, src/bin/dstar2tgba.cc: Compute
    the run-time and show the option.
    * NEWS: Mention it.
    bfbe5b44