-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc: Add option 's' to display SCCs. * src/bin/dstar2tgba.cc, src/bin/common_aoutput.cc: Document it. * src/tgbatest/neverclaimread.test: Test it.
b048f65d
* src/tgbaalgos/dotty.cc: Add option 's' to display SCCs. * src/bin/dstar2tgba.cc, src/bin/common_aoutput.cc: Document it. * src/tgbatest/neverclaimread.test: Test it.