svf-lib 1.0.783 → 1.0.787

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 +1 -1
  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/Options.h +1 -1
  6. package/package.json +1 -1
package/SVF-linux/include/Util/Options.h CHANGED
@@ -131,7 +131,7 @@ public:
131
131
  static const llvm::cl::opt<bool> PStat;
132
132
  static const llvm::cl::opt<unsigned> StatBudget;
133
133
  static const llvm::cl::opt<bool> PAGDotGraph;
134
- static const llvm::cl::opt<bool> PAGDotGraphShorter;
134
+ static const llvm::cl::opt<bool> ShowSVFIRValue;
135
135
  static const llvm::cl::opt<bool> DumpICFG;
136
136
  static const llvm::cl::opt<bool> CallGraphDotGraph;
137
137
  static const llvm::cl::opt<bool> PAGPrint;
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/Util/Options.h CHANGED
@@ -131,7 +131,7 @@ public:
131
131
  static const llvm::cl::opt<bool> PStat;
132
132
  static const llvm::cl::opt<unsigned> StatBudget;
133
133
  static const llvm::cl::opt<bool> PAGDotGraph;
134
- static const llvm::cl::opt<bool> PAGDotGraphShorter;
134
+ static const llvm::cl::opt<bool> ShowSVFIRValue;
135
135
  static const llvm::cl::opt<bool> DumpICFG;
136
136
  static const llvm::cl::opt<bool> CallGraphDotGraph;
137
137
  static const llvm::cl::opt<bool> PAGPrint;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.783",
3
+ "version": "1.0.787",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {