Skip to content

twa: fix issue #555 better

Alexandre Duret-Lutz requested to merge adl/555 into next

Reported by Dávid Smolka.

  • spot/twa/twagraph.cc (defrag_states): Also ignore edges with erased source when updating highlight-edges.
  • tests/python/parsetgba.py: Add Dávid's test case.

Merge request reports