svf-lib 1.0.813 → 1.0.814

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.
@@ -408,13 +408,13 @@ protected:
408
408
  }
409
409
  else
410
410
  {
411
- assert((it->second == node->getId()) && "a SVFIR node can only have unique definition ");
411
+ assert((it->second == node->getId()) && "a SVFVar can only have unique definition ");
412
412
  }
413
413
  }
414
414
  inline NodeID getDef(const PAGNode* pagNode) const
415
415
  {
416
416
  PAGNodeToDefMapTy::const_iterator it = PAGNodeToDefMap.find(pagNode);
417
- assert(it!=PAGNodeToDefMap.end() && "SVFIR node does not have a definition??");
417
+ assert(it!=PAGNodeToDefMap.end() && "SVFVar does not have a definition??");
418
418
  return it->second;
419
419
  }
420
420
  inline bool hasDef(const PAGNode* pagNode) const
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.813",
3
+ "version": "1.0.814",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {