mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-06 07:54:00 +00:00
Code Activity

Make log() use the FmtString infrastructure.

Browse source 
Now `log()` supports `std::string`.

We have to fix a few places where the format parameter was not a compile time constant.
This is mostly trivial.
This commit is contained in:
Robert O'Callahan 2025-07-10 05:24:59 +00:00 • committed by Jannis Harder
parent c6e96d7816
commit a8791a459e
10 changed files with 74 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/equiv/equiv_simple.cc
View file

@ -331,7 +331,7 @@ struct EquivSimpleWorker
construct_ezsat(input_bits, step);
if (!ez->solve(ez_context)) {
log(cfg.verbose ? " Proved equivalence! Marking $equiv cell as proven.\n" : " success!\n");
log("%s", cfg.verbose ? " Proved equivalence! Marking $equiv cell as proven.\n" : " success!\n");
// Replace $equiv cell with a short
cell->setPort(ID::B, cell->getPort(ID::A));
ez->assume(ez->NOT(ez_context));