-
Alexandre Duret-Lutz authored
* src/tgba/tgbaexplicit.cc (tgba_explicit::compute_support_conditions): Fix logic. This function has always been returning bddtrue instead of the actual computed value...
94d1c57e
* src/tgba/tgbaexplicit.cc (tgba_explicit::compute_support_conditions): Fix logic. This function has always been returning bddtrue instead of the actual computed value...