-
Alexandre Duret-Lutz authored
Reported by Étienne Renault. * src/tgbaalgos/scc.cc (build_map): Update root_.frond().supp for all transitions leaving the top state, not only those causing a merge. * src/tgbaalgos/scc.hh (ap_set_of): Clarify documentation. * src/tgbatest/kv.test: Add a test case.
08175025