Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
scc.test
Find file
Blame
History
Permalink
test: simplify scc.test
· 5b74160a
Alexandre Duret-Lutz
authored
Jan 18, 2015
Fixes
#49
. * src/tgbatest/scc.test: Rewrite using ltl2tgba --stats.
5b74160a