Cleanup

diff --git a/kernel/fstdata.cc b/kernel/fstdata.cc
index a7a2c80f7f4aba0e250c782bc3c7f3000f750306..17498c4eea295b26dde2184c7fbf799e4f9a42d3 100644 (file)
--- a/kernel/fstdata.cc
+++ b/kernel/fstdata.cc
@@ -43,7 +43,6 @@ FstData::FstData(std::string filename) : ctx(nullptr)
                }
        }
        for (int i=0;i<zeros; i++) timescale_str += "0";
-       if (zeros>0)timescale_str += " ";
        timescale_str += g_units[unit];
        extractVarNames();
 }

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index e6de1b134bc4bb422055f58a678c54c950309485..f08a3eb1faaa9ef13bb22b5020915b1bf801b318 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1021,7 +1021,7 @@ struct SimWorker : SimShared
                        edges.erase(edges.begin() + (numcycles*2), edges.end());
 
                if ((startCount == stopCount) && writeback) {
-                       log("Update initial state with values from %zu\n",startCount);
+                       log("Update initial state with values from [%zu%s]\n", startCount, fst->getTimescaleString());
                        if (edges.empty())
                                edges.push_back(startCount);
                        fst->reconstructAllAtTimes(edges);
@@ -1035,7 +1035,7 @@ struct SimWorker : SimShared
                        bool initial = false;
                        int cycle = 0;
                        for(auto &time : edges) {
-                               log("Co-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));