Skip to content
  • Alexandre Duret-Lutz's avatar
    scc: get rid of scc_stats · 731561cd
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/scc.cc, src/tgbaalgos/scc.hh: Here.
    * src/tgbatest/ltl2tgba.cc: Remove option -k.
    * src/tgbatest/sccsimpl.test: Move the only -k test...
    * src/tgbatest/scc.test:... here.
    731561cd