diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-31 11:41:52 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-01-31 11:41:52 +0100 |
commit | 6513300db7648fcdf62b59bddd2aad9812829c02 (patch) | |
tree | da911e425e80a858c7518dce00515c4e8d047f85 /passes/sat | |
parent | 543feb75cb3765746ea865c11aa6ceccaf0adeac (diff) | |
download | yosys-6513300db7648fcdf62b59bddd2aad9812829c02.tar.gz yosys-6513300db7648fcdf62b59bddd2aad9812829c02.tar.bz2 yosys-6513300db7648fcdf62b59bddd2aad9812829c02.zip |
message update
Diffstat (limited to 'passes/sat')
-rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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)); |