Skip to content

scc_filter(aut,True) should remove acceptance marks on transitions between SCC

It apparently isn't done for Fin marks.