From 1b5ff92e6240c1a12cb3f28adb1b5d0dda77b6e7 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Jan 2022 13:45:28 +0100
Subject: [PATCH] Cleanup

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

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 34a56ff40..050fc8d5a 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -768,7 +768,6 @@ struct SimInstance
 					retVal = true;
 				}
 			}
-			//log("signal: %s fst: %s  sim: %s\n", log_id(item.first), log_signal(fst_val), log_signal(sim_val));
 		}
 		for (auto child : children)
 			retVal |= child.second->checkSignals(time);
@@ -1048,6 +1047,7 @@ struct SimWorker : SimShared
 			fst->reconstructAllAtTimes(edges);
 			bool initial = false;
 			int cycle = 0;
+			log("Co-simulation from %zu%s to %zu%s\n", startCount, fst->getTimescaleString(), stopCount, fst->getTimescaleString());
 			for(auto &time : edges) {
 				log("Co-simulating cycle %d [%zu%s].\n", cycle+1, time, fst->getTimescaleString());
 				for(auto &item : inputs) {
-- 
2.30.2