svf-lib 1.0.1844 → 1.0.1845

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-linux/Release-build/svf-llvm/extapi.bc +1312 -1341
  2. package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
  3. package/SVF-linux/svf/include/Util/Options.h +1 -0
  4. package/package.json +1 -1
package/SVF-linux/svf/include/Util/Options.h CHANGED
@@ -260,6 +260,7 @@ public:
260
260
  // Loop Analysis
261
261
  static const Option<bool> LoopAnalysis;
262
262
  static const Option<u32_t> LoopBound;
263
+
263
264
  };
264
265
  } // namespace SVF
265
266
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1844",
3
+ "version": "1.0.1845",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {