• Alexandre Duret-Lutz's avatar
    Avoid calling done(), as enabled by last patch. · b4c125c2
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/bfssteps.cc, src/tgbaalgos/complete.cc,
    src/tgbaalgos/cycles.cc, src/tgbaalgos/dtgbacomp.cc,
    src/tgbaalgos/gtec/gtec.cc, src/tgbaalgos/gv04.cc,
    src/tgbaalgos/isweakscc.cc, src/tgbaalgos/lbtt.cc,
    src/tgbaalgos/neverclaim.cc, src/tgbaalgos/reachiter.cc,
    src/tgbaalgos/replayrun.cc, src/tgbaalgos/safety.cc,
    src/tgbaalgos/save.cc: Avoid calls to done().
    b4c125c2
neverclaim.cc 5.26 KB