dbranch: fix handling of state-based acceptance (!79) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/525 into next Feb 03, 2023

Fixes issue #525 (closed).

spot/twaalgos/dbranch.hh, NEWS: Document.
spot/twaalgos/dbranch.cc: Detect cases where the acceptance should be changed from state-based to transition-based.
tests/python/dbranch.py: Add a test case.