fix crash in smt expr simpl
MODIFY
smt/expr.cpp
smt/expr.cpp
@@ -1075,8 +1075,8 @@ expr expr::cmp_eq(const expr &rhs, bool simplify) const {
// (= (= a bit) (= b bit)) -> (= a b)
{
expr lhs_a, lhs_b, rhs_a, rhs_b;
- if (isEq(lhs_a, lhs_b) && lhs_a.bits() == 1 && rhs.isEq(rhs_a, rhs_b) &&
- lhs_a.eq(rhs_a))
+ if (isEq(lhs_a, lhs_b) && lhs_a.isBV() && lhs_a.bits() == 1 &&
+ rhs.isEq(rhs_a, rhs_b) && lhs_a.eq(rhs_a))
return lhs_b == rhs_b;
}

fix crash in smt expr simpl