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

Merge pull request #4801 from povik/aiger2-rm-print 

read_xaiger2: Rm debug print
This commit is contained in:
Martin Povišer 2024-12-05 18:41:16 +01:00 committed by GitHub
parent 66734f522d cf0a583f40
commit 4cdca66579
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
frontends/aiger2/xaiger.cc
View File

@ -341,7 +341,6 @@ struct Xaiger2Frontend : public Frontend {
/* unused box_id = */ read_be32(*f);
auto box_seq = read_be32(*f);
log("box_seq=%d boxes.size=%d\n", box_seq, (int) boxes.size());
log_assert(box_seq < boxes.size());
auto [cell, def] = boxes[box_seq];