svf-lib 1.0.1179 → 1.0.1182

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/Options.h +0 -1
  3. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  4. package/SVF-osx/include/MemoryModel/PersistentPointsToCache.h +0 -2
  5. package/SVF-osx/include/Util/Options.h +0 -1
  6. package/package.json +1 -1
package/SVF-linux/include/Util/Options.h CHANGED
@@ -254,7 +254,6 @@ public:
254
254
  static const llvm::cl::opt<bool> PrintCFL;
255
255
  static const llvm::cl::opt<bool> FlexSymMap;
256
256
  static const llvm::cl::opt<bool> PEGTransfer;
257
- static const llvm::cl::opt<bool> NullDummyNode;
258
257
 
259
258
  // Loop Analysis
260
259
  static const llvm::cl::opt<bool> LoopAnalysis;
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/MemoryModel/PersistentPointsToCache.h CHANGED
@@ -313,8 +313,6 @@ public:
313
313
  static const unsigned fieldWidth = 25;
314
314
  SVFUtil::outs().flags(std::ios::left);
315
315
 
316
- SVFUtil::outs() << "****Persistent Points-To Cache Statistics: " << subtitle << "****\n";
317
-
318
316
  SVFUtil::outs() << std::setw(fieldWidth) << "UniquePointsToSets" << idToPts.size() << "\n";
319
317
 
320
318
  SVFUtil::outs() << std::setw(fieldWidth) << "TotalUnions" << totalUnions << "\n";
package/SVF-osx/include/Util/Options.h CHANGED
@@ -254,7 +254,6 @@ public:
254
254
  static const llvm::cl::opt<bool> PrintCFL;
255
255
  static const llvm::cl::opt<bool> FlexSymMap;
256
256
  static const llvm::cl::opt<bool> PEGTransfer;
257
- static const llvm::cl::opt<bool> NullDummyNode;
258
257
 
259
258
  // Loop Analysis
260
259
  static const llvm::cl::opt<bool> LoopAnalysis;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1179",
3
+ "version": "1.0.1182",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {