riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

aiger2: Fix print

This commit is contained in:
Martin Povišer 2024-10-05 19:23:11 +02:00
parent ebe51e206e
commit 373e7a1485
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/aiger2/aiger.cc
View File

@ -1154,7 +1154,7 @@ struct XAigerWriter : AigerWriter {
write_be32(h_buffer, pis.size());
log_debug("ciNum = %zu\n", pis.size());
write_be32(h_buffer, pending_pos_num + pos.size());
log_debug("coNum = %zu\n", boxes_co_num + pos.size());
log_debug("coNum = %zu\n", pending_pos_num + pos.size());
write_be32(h_buffer, pis.size() - boxes_ci_num);
log_debug("piNum = %zu\n", pis.size() - boxes_ci_num);
write_be32(h_buffer, pending_pos_num + pos.size() - boxes_co_num);