diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-31 12:00:15 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-31 12:00:15 +0100 |
| commit | 26de52fa094f90d5ce7a2766df5a53e6188b4d13 (patch) | |
| tree | 529fd99c8ab3866af8f94124272690100a739e14 /passes/sat | |
| parent | 6513300db7648fcdf62b59bddd2aad9812829c02 (diff) | |
| download | yosys-26de52fa094f90d5ce7a2766df5a53e6188b4d13.tar.gz yosys-26de52fa094f90d5ce7a2766df5a53e6188b4d13.tar.bz2 yosys-26de52fa094f90d5ce7a2766df5a53e6188b4d13.zip | |
Cleanup
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index e6de1b134..f08a3eb1f 100644 --- 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)); |