svf-lib 1.0.1574 → 1.0.1575

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.
Files changed (4) hide show
  1. package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
  2. package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  3. package/SVF-osx/svf/include/Util/Z3Expr.h +2 -2
  4. package/package.json +1 -1
package/SVF-osx/svf/include/Util/Z3Expr.h CHANGED
@@ -261,7 +261,7 @@ public:
261
261
 
262
262
  friend bool eq(const Z3Expr &lhs, const Z3Expr &rhs)
263
263
  {
264
- return eq(lhs.getExpr(), rhs.getExpr());
264
+ return eq(lhs.getExpr().simplify(), rhs.getExpr().simplify());
265
265
  }
266
266
 
267
267
  z3::sort get_sort() const
@@ -293,7 +293,7 @@ public:
293
293
  /// compute NEG
294
294
  static inline Z3Expr NEG(const Z3Expr &z3Expr)
295
295
  {
296
- return !z3Expr;
296
+ return (!z3Expr).simplify();
297
297
  }
298
298
 
299
299
  /// compute AND, used for branch condition
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1574",
3
+ "version": "1.0.1575",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {