From bea2a7d47302c0dd3de1e70a0cfbcf8b81e4b882 Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Tue, 3 Feb 2026 14:40:33 -0800
Subject: [PATCH] add few debug

---
 passes/sat/sim.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index d7b1c323e..a0cfee542 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -2578,9 +2578,7 @@ struct AnnotateActivity : public OutputWriter {
 				  activity_str += std::to_string(activity) + " ";
 			  }
 			  if (worker->debug) {
-				  std::cout << activity_str;
-				  std::cout << "\n";
-				  std::cout << "     DUTY: ";
+				  log_debug("     ACKT: %s", activity_str.c_str());
 			  }
 			  std::string duty_str;
 			  for (uint32_t i = 0; i < (uint32_t)size; i++) {