svf-lib 1.0.1099 → 1.0.1102

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 (6) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/Util/ExtAPI.h +4 -2
  3. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  4. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  5. package/SVF-osx/include/Util/ExtAPI.h +4 -2
  6. package/package.json +1 -1
package/SVF-linux/include/Util/ExtAPI.h CHANGED
@@ -224,8 +224,10 @@ private:
224
224
  // Store specifications of external functions in ExtAPI.json file
225
225
  static cJSON *root;
226
226
 
227
+ ExtAPI() = default;
228
+
227
229
  public:
228
- static ExtAPI *getExtAPI();
230
+ static ExtAPI *getExtAPI(const std::string & = "");
229
231
 
230
232
  static void destory();
231
233
 
@@ -240,7 +242,7 @@ public:
240
242
  std::vector<std::string> get_opArgs(const cJSON *value);
241
243
 
242
244
  // Get specifications of external functions in ExtAPI.json file
243
- cJSON *get_FunJson(const std::string funName);
245
+ cJSON *get_FunJson(const std::string &funName);
244
246
 
245
247
  // Get property of the operation, e.g. "EFT_A1R_A0R"
246
248
  extType get_type(const SVF::SVFFunction *callee);
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/Util/ExtAPI.h CHANGED
@@ -224,8 +224,10 @@ private:
224
224
  // Store specifications of external functions in ExtAPI.json file
225
225
  static cJSON *root;
226
226
 
227
+ ExtAPI() = default;
228
+
227
229
  public:
228
- static ExtAPI *getExtAPI();
230
+ static ExtAPI *getExtAPI(const std::string & = "");
229
231
 
230
232
  static void destory();
231
233
 
@@ -240,7 +242,7 @@ public:
240
242
  std::vector<std::string> get_opArgs(const cJSON *value);
241
243
 
242
244
  // Get specifications of external functions in ExtAPI.json file
243
- cJSON *get_FunJson(const std::string funName);
245
+ cJSON *get_FunJson(const std::string &funName);
244
246
 
245
247
  // Get property of the operation, e.g. "EFT_A1R_A0R"
246
248
  extType get_type(const SVF::SVFFunction *callee);
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1099",
3
+ "version": "1.0.1102",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {