Alexandre Duret-Lutz authored
Avoid calling scc_info::determine_unknown_acceptance on the product, as suggested in #188. * spot/twaalgos/isunamb.cc (is_unambiguous): Rewrite. * tests/core/unambig.test: Add the automaton from #188. * NEWS: Mention the improved function. * spot/twaalgos/mask.cc, spot/twaalgos/mask.hh (mask_keep_accessible_states): New function.5384a3b8
To find the state of this project's repository at the time of any of these versions, check out the tags.