Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Detect running timers, and stop a timer in ltl2tgba. · b796bb3d
    Alexandre Duret-Lutz authored 
    * src/misc/timer.hh (time_info::running): New attribute.
(time_info::start, time_info::stop): Update and check
time_info::running.
* src/misc/timer.cc (timer_map::print): Mark running timers with
a "+" in the output.
* src/tgbatest/ltl2tgba.cc (main): Rename the name of the timers
for SCC and simulation reduction, and actually stop the SCC timer.
    b796bb3d
To find the state of this project's repository at the time of any of these versions, check out the tags.