Skip to content
Find file Blame History Permalink
  • 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