Skip to content

postproc: fix default for acd and interaction with colored

Alexandre Duret-Lutz requested to merge adl/some-fixes into next
  • spot/twaalgos/postproc.hh (postprocess::acd_): Default to true.
  • spot/twaalgos/ (postprocess::run): When acd is used to color an automaton, do not run scc_filter to remove color from transiant edges.
  • tests/python/ New file.
  • tests/ Add it.

Merge request reports