Skip to content
  • Rachid Rebiha's avatar
    * src/tgbatest/emptinesscheckexplicit.test (acc): New file. · 7f3c1131
    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