-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.