-
Alexandre Duret-Lutz authored
* src/tgbaalgos/cycles.hh (state_info): Initialize mark and reach to false. * src/tgbatest/cycles.test: Use jot if seq is missing, and a custom loop of jot is missing too.
f711f9d0
* src/tgbaalgos/cycles.hh (state_info): Initialize mark and reach to false. * src/tgbatest/cycles.test: Use jot if seq is missing, and a custom loop of jot is missing too.