Skip to content

rewrite scc.test using ltl2tgba --stats

that will speed it up, and we can obsolete the computation of the number of accepting paths