-
Alexandre Duret-Lutz authored
BddCache_lookup return an entry from a Not operation. * src/bddop.c (apply_rec, simplify_rec): When checking the cache entry, always check entry->a and entry->c before checking entry->b, because the "not_rec()" function does not initialize the latter.
d3ccaa7c