Cleanup

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 34a56ff4017d2d7015f8a5612e145904aaa6ff16..050fc8d5a483f6894a09d10b0f0f6030c27ad2d0 100644 (file)
--- 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) {