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

Fix printf formats

Browse source
This commit is contained in:
uis 2023-11-11 17:29:43 +03:00 • committed by Martin Povišer
parent 5691cd0958
commit 5902b2826d
3 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/recover_names.cc
View file

@ -26,6 +26,7 @@
#include <algorithm>
#include <queue>
#include <cinttypes>
USING_YOSYS_NAMESPACE
@ -623,7 +624,7 @@ struct RecoverNamesWorker {
if (pop == 1 || pop == (8*sizeof(equiv_cls_t) - 1))
continue;
log_debug("equivalence class: %016lx\n", cls.first);
log_debug("equivalence class: %016" PRIx64 "\n", cls.first);
const pool<IdBit> &gold_bits = cls2bits.at(cls.first).first;
const pool<InvBit> &gate_bits = cls2bits.at(cls.first).second;
if (gold_bits.empty() || gate_bits.empty())