-
Alexandre Duret-Lutz authored
Do not treat true and false specially. Otherwise it breaks translation of F(false). * src/tgbatest/explprod.test, src/tgbatest/tripprod.test: Do not use true as acceptance condition. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_trad_visitor): Use Acc[b] as acceptance condition for Fb, not Acc[Fb]. After this change, degeneralized automata are 40% smaller
1d72cdc8