-
Alexandre Duret-Lutz authored
* src/bin/ltl2tgba.cc (--stats): New option. * src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh (stat_printer): New class.
26ad32d5
* src/bin/ltl2tgba.cc (--stats): New option. * src/tgbaalgos/stats.cc, src/tgbaalgos/stats.hh (stat_printer): New class.