-
Alexandre Duret-Lutz authored
* src/tgbaalgos/isweakscc.cc, src/tgbaalgos/isweakscc.hh: New files. * src/tgbaalgos/Makefile.am: Add them. * src/tgbatest/ltl2tgba.cc: Add a -KW option. * src/tgbatest/cycles.test: Test it on a small example.
420fcd62