Suspected bug due to copy-pasted code in mbp_basic_tg.cpp #7292
Description
Same expression all_of(*c, is_false) is used for the true and false expressions.
bool t = is_or ? any_of(*c, is_true) : all_of(*c, is_true);
bool f = is_or ? all_of(*c, is_false) : all_of(*c, is_false); // <----- Bug on this Line
// any_of??z3/src/qe/mbp/mbp_basic_tg.cpp
Line 104 in 9073da4