• Alexandre GBAGUIDI AISSE's avatar
    misc/timer: Gather handling of %r and %R options · ad9bc644
    Alexandre GBAGUIDI AISSE authored
    * bin/autcross.cc: Update.
    * bin/autfilt.cc: Update.
    * bin/common_aoutput.cc: Gather them. Move process_timer struct.
    * bin/common_aoutput.hh: Gather them.
    * bin/common_output.hh: Update.
    * bin/dstar2tgba.cc: Update.
    * bin/ltl2tgba.cc: Update.
    * bin/ltlcross.cc: Update.
    * bin/ltldo.cc: Update.
    * bin/ltlfilt.cc: Update.
    * bin/randaut.cc: Update.
    * spot/misc/formater.hh: Remove an useless function.
    * spot/misc/timer.hh: Add process_timer struct definition.
    * spot/misc/timer.cc: Remove old dead code.
    * spot/twaalgos/stats.cc: Update.
    * spot/twaalgos/stats.hh: Update.
    ad9bc644