svf-lib 1.0.1655 → 1.0.1656

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/MemoryModel/SVFLoop.h +3 -3
  4. package/package.json +1 -1
package/SVF-osx/svf/include/MemoryModel/SVFLoop.h CHANGED
@@ -78,17 +78,17 @@ public:
78
78
 
79
79
  inline bool isBackICFGEdge(const ICFGEdge *edge) const
80
80
  {
81
- return backICFGEdges.find(edge) != entryICFGEdges.end();
81
+ return backICFGEdges.find(edge) != backICFGEdges.end();
82
82
  }
83
83
 
84
84
  inline bool isInICFGEdge(const ICFGEdge *edge) const
85
85
  {
86
- return inICFGEdges.find(edge) != entryICFGEdges.end();
86
+ return inICFGEdges.find(edge) != inICFGEdges.end();
87
87
  }
88
88
 
89
89
  inline bool isOutICFGEdge(const ICFGEdge *edge) const
90
90
  {
91
- return outICFGEdges.find(edge) != entryICFGEdges.end();
91
+ return outICFGEdges.find(edge) != outICFGEdges.end();
92
92
  }
93
93
 
94
94
  inline void addEntryICFGEdge(const ICFGEdge *edge)
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1655",
3
+ "version": "1.0.1656",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {