From 68b3ad4bd31e524c7cf579ffcdd794f8dcf959d0 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 6 Aug 2024 02:27:09 -0700
Subject: [PATCH] Display resource sharing count

---
 frontends/verific/verific.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 45dccb78c..4cc5afbcf 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2999,7 +2999,8 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 			nl->OperatorOptimization(1, 1);
 			
 			log("    Performing resource sharing for %s.\n", it->first.c_str());
-			nl->ResourceSharing();
+			result = nl->ResourceSharing();
+			log("      Shared %d resources.\n", result);
 			log("    Performing final resource merging for %s.\n", it->first.c_str());
 			nl->OptimizeSameInputSubstractorComparator();