From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Jan 2022 10:41:52 +0000 (+0100)
Subject: message update
X-Git-Tag: yosys-0.14~2^2~11
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6513300db7648fcdf62b59bddd2aad9812829c02;p=yosys.git

message update
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 05fe11201..e6de1b134 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1035,7 +1035,7 @@ struct SimWorker : SimShared
 			bool initial = false;
 			int cycle = 0;
 			for(auto &time : edges) {
-				log("Simulating cycle %d [%zu %s].\n", cycle+1, time, fst->getTimescaleString());
+				log("Co-simulating cycle %d [%zu %s].\n", cycle+1, time, fst->getTimescaleString());
 				for(auto &item : inputs) {
 					std::string v = fst->valueAt(item.second, time);
 					top->set_state(item.first, Const::from_string(v));