• Alexandre Duret-Lutz's avatar
    Adjust some uses of bddtrue/bddfalse. · 4df4b4ef
    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
simulation.cc 42.4 KB