-
Alexandre Duret-Lutz authored
New function. * src/tgbaalgos/emptinesscheck.hh (emptiness_check::print_stats): Likewise. * iface/gspn/ltlgspn.cc (main) <Couvreur>: Call print_stats(). * iface/gspn/ltleesrg.cc (main): Likewise.
7a54e048
New function. * src/tgbaalgos/emptinesscheck.hh (emptiness_check::print_stats): Likewise. * iface/gspn/ltlgspn.cc (main) <Couvreur>: Call print_stats(). * iface/gspn/ltleesrg.cc (main): Likewise.