Alexandre Duret-Lutz
|
7a54e04800
|
* src/tgbaalgos/emptinesscheck.cc (emptiness_check::print_stats):
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.
|
2004-01-09 10:56:56 +00:00 |
|
Alexandre Duret-Lutz
|
23f1a6f2c6
|
* iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not
the control automaton.
|
2004-01-06 10:12:00 +00:00 |
|
Alexandre Duret-Lutz
|
03704d635e
|
* iface/gspn/ltleesrg.cc: New file.
* iface/gspn/Makefile.am (check_PROGRAMS): Add ltleesrg.
(ltleesrg_LDADD, ltleesrg_SOURCES): New variables.
|
2003-12-30 16:08:18 +00:00 |
|