diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-21 11:56:01 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-21 11:56:30 -0800 |
| commit | cd093c00f84b44662a09d469c2b0d8ba6ecf6f6e (patch) | |
| tree | 7b2c5bbef0e95d2fc42fd16cf60b5ef396a1e20d /frontends/aiger | |
| parent | 7f728bc116dc804cd944744bbc64ca155028aa22 (diff) | |
| download | yosys-cd093c00f84b44662a09d469c2b0d8ba6ecf6f6e.tar.gz yosys-cd093c00f84b44662a09d469c2b0d8ba6ecf6f6e.tar.bz2 yosys-cd093c00f84b44662a09d469c2b0d8ba6ecf6f6e.zip | |
read_aiger: discard LUT inputs with nodeID == 0; not < 2
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 52bcfa0b6..e7478c316 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -414,7 +414,7 @@ void AigerReader::parse_xaiger() for (unsigned j = 0; j < cutLeavesM; ++j) { nodeID = parse_xaiger_literal(f); log_debug2("\t%u\n", nodeID); - if (nodeID < 2) { + if (nodeID == 0) { log_debug("\tLUT '$lut$aiger%d$%d' input %d is constant!\n", aiger_autoidx, rootNodeID, cutLeavesM); continue; } |