Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#49
rewrite scc.test using ltl2tgba --stats
that will speed it up, and we can obsolete the computation of the number of accepting paths