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

read_xaiger2: Fix detecting the end of extensions

This commit is contained in:
Martin Povišer 2024-10-04 10:03:30 +02:00
parent 2b1b5652f1
commit 8d12492610
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
frontends/aiger2/xaiger.cc
View File

@ -219,6 +219,8 @@ struct Xaiger2Frontend : public Frontend {
log_assert(pi_num + ci_counter == ci_num); log_assert(pi_num + ci_counter == ci_num);
} else if (c == '\n') { } else if (c == '\n') {
break; break;
} else if (c == 'c') {
break;
} else { } else {
uint32_t len = read_be32(*f); uint32_t len = read_be32(*f);
f->ignore(len); f->ignore(len);
@ -283,6 +285,8 @@ struct Xaiger2Frontend : public Frontend {
} }
} else if (c == '\n') { } else if (c == '\n') {
break; break;
} else if (c == 'c') {
break;
} else { } else {
uint32_t len = read_be32(*f); uint32_t len = read_be32(*f);
f->ignore(len); f->ignore(len);
@ -354,6 +358,8 @@ struct Xaiger2Frontend : public Frontend {
log_assert(po_num + co_counter == co_num); log_assert(po_num + co_counter == co_num);
} else if (c == '\n') { } else if (c == '\n') {
break; break;
} else if (c == 'c') {
break;
} else { } else {
uint32_t len = read_be32(*f); uint32_t len = read_be32(*f);
f->ignore(len); f->ignore(len);