svf-lib 1.0.1532 → 1.0.1533
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
Binary file
|
|
@@ -112,12 +112,12 @@ public:
|
|
|
112
112
|
|
|
113
113
|
bool is_zero() const
|
|
114
114
|
{
|
|
115
|
-
return getExpr().is_numeral() && getExpr()
|
|
115
|
+
return getExpr().is_numeral() && eq(getExpr(), Z3Expr(0));
|
|
116
116
|
}
|
|
117
117
|
|
|
118
118
|
static bool isZero(const BoundedZ3Expr &expr)
|
|
119
119
|
{
|
|
120
|
-
return expr.is_numeral() && expr.
|
|
120
|
+
return expr.is_numeral() && eq(expr.getExpr(), Z3Expr(0));
|
|
121
121
|
}
|
|
122
122
|
|
|
123
123
|
BoundedZ3Expr equal(const BoundedZ3Expr &rhs) const
|