Skip to content
  • Alexandre Duret-Lutz's avatar
    ignore false edges in emptiness checks and scc_info · 0b258202
    Alexandre Duret-Lutz authored
    Based on reports by Florian Renkin and Jens Kreber.
    
    * spot/twaalgos/bfssteps.cc, spot/twaalgos/couvreurnew.cc,
    spot/twaalgos/gtec/gtec.cc, spot/twaalgos/gv04.cc,
    spot/twaalgos/magic.cc, spot/twaalgos/sccinfo.cc
    spot/twaalgos/se05.cc, spot/twaalgos/tau03.cc: Ignore bddfalse edges.
    * spot/twaalgos/gtec/gtec.hh: Remove debugging function.
    * tests/core/neverclaimread.test: Adjust.
    * tests/python/ecfalse.py: New test file.
    * tests/Makefile.am: Add it.
    * NEWS: Mention the bug.
    0b258202