Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
sccinfo.hh
Find file
Blame
History
Permalink
Fix uninitialized value.
· cdef3d69
Maximilien Colange
authored
May 11, 2017
and
Alexandre Duret-Lutz
committed
May 11, 2017
* spot/twaalgos/sccinfo.hh: initialize t_, and remove useless data from class scc_edges.
cdef3d69