-
Alexandre Duret-Lutz authored
* spot/twaalgos/remfin.cc (remove_fin_weak): Ignore unreachable states. This caused crashes in the test cases for the upcoming alternation support in ltlcross.
64fa6c00
* spot/twaalgos/remfin.cc (remove_fin_weak): Ignore unreachable states. This caused crashes in the test cases for the upcoming alternation support in ltlcross.