From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 7 Mar 2022 15:32:32 +0000 (+0100)
Subject: cleanup
X-Git-Tag: yosys-0.16~52^2~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ede348cdc285f4b4f1c53942d515a7082e53e37a;p=yosys.git

cleanup
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 9771e83f3..d7f4de507 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1238,7 +1238,7 @@ struct SimWorker : SimShared
 					curr_cycle = -1; // force detect change
 
 				if (curr_cycle != prev_cycle) {
-					log("Simulating cycle %d %d.\n", cycle, cycle % 1);
+					log("Simulating cycle %d.\n", cycle);
 					set_inports(clock, State::S1);
 					set_inports(clockn, State::S0);
 					update();
@@ -1282,6 +1282,7 @@ struct SimWorker : SimShared
 					break;
 			}
 		}
+		register_output_step(10*cycle);
 		write_output_files();
 	}
 };