mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-21 01:24:44 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-01-07 21:50:34 +01:00
parent 340fec0a67
commit 2633485c8f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/aiger/aigerparse.cc
View file

@ -475,8 +475,8 @@ void AigerReader::parse_xaiger()
std::deque<Lut> deferred;
for (unsigned i = 0; i < lutNum; ++i) {
Lut lut;
lut.name = stringf("$aiger%d$%d", aiger_autoidx, lut.output);
lut.output = parse_xaiger_literal(f);
lut.name = stringf("$aiger%d$%d", aiger_autoidx, lut.output);
while (lut_defined.size() < lut.output + 1)
lut_defined.push_back(false);
lut_defined[lut.output] = true;