luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

aigerparse: sanity-check AIGER header

Browse Source
This commit is contained in:
Lofty
2026-02-11 11:46:17 +00:00
parent 43a15113ff
commit 2e03ee1434
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontends/aiger/aigerparse.cc
+3
View File
@@ -657,6 +657,9 @@ void AigerReader::parse_aiger_binary()
unsigned l1, l2, l3;
std::string line;
if (M != I + L + A)
log_error("Binary AIGER input is malformed: maximum variable index M is %u, but number of inputs, latches and AND gates adds up to %u.\n", M, I + L + A);
// Parse inputs
int digits = decimal_digits(I);
for (unsigned i = 1; i <= I; ++i) {