svf-lib 1.0.1195 → 1.0.1196

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 (3) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/Graphs/ConsG.h +2 -3
  3. package/package.json +1 -1
package/SVF-linux/include/Graphs/ConsG.h CHANGED
@@ -337,9 +337,8 @@ public:
337
337
  inline NodeID getFIObjVar(NodeID id)
338
338
  {
339
339
  NodeID fi = pag->getFIObjVar(id);
340
- /// Create a node when it is (1) not exist on graph and (2) not merged
341
- if (sccRepNode(fi) == fi && hasConstraintNode(fi)==false)
342
- addConstraintNode(new ConstraintNode(fi),fi);
340
+ /// The fi obj in PAG must be either an existing node or merged to another rep node in ConsG
341
+ assert((hasConstraintNode(fi) || sccRepNode(fi) != fi) && "non-existing fi obj??");
343
342
  return fi;
344
343
  }
345
344
  //@}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1195",
3
+ "version": "1.0.1196",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {