Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix "BDD Error" in scc_filter(). · fc5d4e1a
    Alexandre Duret-Lutz authored
    If all the acceptance set of an SCC but the first one were useless, the
    scc_filter() algorithm could abort with a BDD error because of a bug in
    the logic.
    
    * src/tgbaalgos/sccfilter.cc (scc_filter): Fix.
    * src/tgbatest/sccsimpl.test: Add a test case supplied by Étienne
    Renault.
    fc5d4e1a