-
Alexandre Duret-Lutz authored
* src/tgbaalgos/cycles.cc (tag_state): Destroy duplicate states, not new states! * src/tgbatest/cycles.test: Add a test case that used to segfault. Reported by Étienne Renault.
dd16f58e
* src/tgbaalgos/cycles.cc (tag_state): Destroy duplicate states, not new states! * src/tgbatest/cycles.test: Add a test case that used to segfault. Reported by Étienne Renault.