-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dtgbasat.cc, src/tgbaalgos/eltl2tgba_lacim.cc, src/tgbaalgos/simulation.cc, src/tgbaalgos/tau03opt.cc: Fix cases where bddtrue and bddfalse where used in a ternary operator. * src/sanity/style.test: Allow bdd_true()/bdd_false() to be used in ternary operators.
4df4b4ef