svf-lib 1.0.2609 → 1.0.2611

package/SVF-linux-aarch64/include/Util/NodeIDAllocator.h

@@ -163,7 +163,13 @@ public:
         /// or a subset, depending on the client's wish.
         /// TODO: interfaces are getting unwieldy, an initialised object may be better.
         /// TODO: kind of sucks pta can't be const here because getPts isn't.
-        static std::vector<NodeID> cluster(BVDataPTAImpl *pta, const std::vector<std::pair<NodeID, unsigned>> keys, std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates, std::string evalSubtitle="");
+        static std::vector<NodeID> cluster(
+            BVDataPTAImpl *pta,
+            const std::vector<std::pair<NodeID, unsigned>> keys,
+            std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
+            std::string evalSubtitle="",
+            bool printStat=true
+        );
 
         // Returns a reverse node mapping for mapping generated by cluster().
         static std::vector<NodeID> getReverseNodeMapping(const std::vector<NodeID> &nodeMapping);
@@ -207,8 +213,11 @@ public:
         // From all the candidates, returns the best mapping for pointsToSets (points-to set -> # occurrences).
         static inline std::pair<hclust_fast_methods, std::vector<NodeID>> determineBestMapping(
                     const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
-                    Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
-
+                    Map<PointsTo, unsigned> pointsToSets,
+                    const std::string &evalSubtitle,
+                    double &evalTime,
+                    bool printStat
+                );
     };
 };
 

package/SVF-linux-x86_64/include/Util/NodeIDAllocator.h

@@ -163,7 +163,13 @@ public:
         /// or a subset, depending on the client's wish.
         /// TODO: interfaces are getting unwieldy, an initialised object may be better.
         /// TODO: kind of sucks pta can't be const here because getPts isn't.
-        static std::vector<NodeID> cluster(BVDataPTAImpl *pta, const std::vector<std::pair<NodeID, unsigned>> keys, std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates, std::string evalSubtitle="");
+        static std::vector<NodeID> cluster(
+            BVDataPTAImpl *pta,
+            const std::vector<std::pair<NodeID, unsigned>> keys,
+            std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
+            std::string evalSubtitle="",
+            bool printStat=true
+        );
 
         // Returns a reverse node mapping for mapping generated by cluster().
         static std::vector<NodeID> getReverseNodeMapping(const std::vector<NodeID> &nodeMapping);
@@ -207,8 +213,11 @@ public:
         // From all the candidates, returns the best mapping for pointsToSets (points-to set -> # occurrences).
         static inline std::pair<hclust_fast_methods, std::vector<NodeID>> determineBestMapping(
                     const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
-                    Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
-
+                    Map<PointsTo, unsigned> pointsToSets,
+                    const std::string &evalSubtitle,
+                    double &evalTime,
+                    bool printStat
+                );
     };
 };
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2609",
+  "version": "1.0.2611",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {