Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
sccinfo.cc
Find file
Blame
History
Permalink
scc_info: detect incorrect initial state
· 904cfb27
Alexandre Duret-Lutz
authored
Dec 22, 2017
* spot/twaalgos/sccinfo.cc: Here. * tests/python/sccinfo.py: Test it.
904cfb27