svf-lib 1.0.1812 → 1.0.1813

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/AbstractExecution/IntervalExeState.h +2 -2
  4. package/package.json +1 -1
package/SVF-osx/svf/include/AbstractExecution/IntervalExeState.h CHANGED
@@ -287,7 +287,7 @@ public:
287
287
  }
288
288
  }
289
289
 
290
- inline virtual IntervalValue& getLocToVal(u32_t id)
290
+ inline virtual IntervalValue& getLocVal(u32_t id)
291
291
  {
292
292
  auto it = _locToItvVal.find(id);
293
293
  if(it != _locToItvVal.end())
@@ -572,7 +572,7 @@ public:
572
572
  }
573
573
  }
574
574
 
575
- inline IntervalValue& getLocToVal(u32_t id) override
575
+ inline IntervalValue& getLocVal(u32_t id) override
576
576
  {
577
577
  auto it = _locToItvVal.find(id);
578
578
  if(it != _locToItvVal.end())
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1812",
3
+ "version": "1.0.1813",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {