Skip to content

twagraph: remove bddfalse edges in purge_dead_states

Alexandre Duret-Lutz requested to merge adl/purge-bddfalse into next
  • spot/twa/twagraph.cc (purge_dead_states): Be bddfalse-aware!
  • spot/twa/twagraph.hh, NEWS: Document this.
  • tests/python/alternating.py, tests/python/twagraph.py: Add some test cases.

Merge request reports