-
Rachid Rebiha authored
* src/tgbatest/emptinesscheckexplicit.cc (main): New file. * src/tgbatest/emptinesscheck.test: New file. * src/tgbatest/emptinesscheck.cc (main): New file. * src/tgbaalgos/emptinesscheck.cc (spot): New method. * src/tgbaalgos/emptinesscheck.hh: New interface.
7f3c1131