From 29a1c69f74be253b61a28fc44f3bdde9800945fa Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Thu, 26 Feb 2026 16:01:37 -0800
Subject: [PATCH] move log flush to better spot

---
 passes/sat/sim.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 79c33e3b7..9fbbff261 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -2524,7 +2524,6 @@ struct AnnotateActivity : public OutputWriter {
 		double real_timescale = worker->fst->getTimescale();
 		if (worker->debug) {
 			log_debug("Timescale %e seconds extracted from converted VCD file", real_timescale);
-			log_flush();
 		}
 
 		// Compute clock period, find the highest toggling signal and compute its average period
@@ -2537,6 +2536,8 @@ struct AnnotateActivity : public OutputWriter {
 			std::vector<double_t> &clktoggleCounts = itr->second.toggleCounts;
 			clk_period = real_timescale * (double)max_time / (clktoggleCounts[0] / 2.0);
 		}
+		log_flush();
+
 		double frequency = 1.0 / clk_period;
 		worker->top->module->set_string_attribute("$FREQUENCY", std::to_string(frequency));
 		worker->top->module->set_string_attribute("$DURATION", std::to_string(max_time));