• Alexandre Duret-Lutz's avatar
    * src/tgbatest/scc.test: New file. · a2b6bef0
    Alexandre Duret-Lutz authored
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbaalgos/scc.hh: More documentation.
    * src/tgbaalgos/scc.cc (scc_recurse): Fix computation of
    acc_paths and dead_paths.  Prevent recursions in states that
    have already been visited.
    a2b6bef0
scc.test 1.22 KB