From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Jan 2022 12:45:28 +0000 (+0100)
Subject: Cleanup
X-Git-Tag: yosys-0.14~2^2~8
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1b5ff92e6240c1a12cb3f28adb1b5d0dda77b6e7;p=yosys.git

Cleanup
---

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) {