• Alexandre Duret-Lutz's avatar
    bin: --dot=s display SCCs · b048f65d
    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