Purging dead states spoils highlight-edges property
Hi, after purging dead states from an automaton, the highlight-edges property does not correspond to the original values. See this example.
Hi, after purging dead states from an automaton, the highlight-edges property does not correspond to the original values. See this example.