-
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
* 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.