Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#101
scc_filter(aut,True) should remove acceptance marks on transitions between SCC
It apparently isn't done for Fin marks.