• 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
    * 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.