-
Alexandre Duret-Lutz authored
* src/tgba/wdbacomp.cc (tgba_wdba_comp_proxy::compute_support_conditions): Fix. * src/tgbatest/wdba2.test: Test a formula that used to be wrongly minimized if translated by LaCIM, because the product of a tgbabddconcrete automaton with another automaton (done during WDBA-minimization) use the support conditions to speed things up.
d7ff0665