diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-20 15:40:46 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-20 15:40:46 -0800 |
| commit | a5767474830756319ce0fff53b81573701ec0cd2 (patch) | |
| tree | b8850963dbd74099ac75a5617e66b4363916b80e /frontends/aiger | |
| parent | 729c6b93e8eb863aa9436239efea5f5678673b4f (diff) | |
| download | yosys-a5767474830756319ce0fff53b81573701ec0cd2.tar.gz yosys-a5767474830756319ce0fff53b81573701ec0cd2.tar.bz2 yosys-a5767474830756319ce0fff53b81573701ec0cd2.zip | |
Consistent log message, ignore 's' extension
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 4b66af3ad..9374f1ab3 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -432,7 +432,7 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) else if (c == 'r') { uint32_t dataSize YS_ATTRIBUTE(unused) = parse_xaiger_literal(f); flopNum = parse_xaiger_literal(f); - log_debug("flopNum: %u\n", flopNum); + log_debug("flopNum = %u\n", flopNum); log_assert(dataSize == (flopNum+1) * sizeof(uint32_t)); f.ignore(flopNum * sizeof(uint32_t)); } @@ -464,9 +464,10 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup) boxes.emplace_back(cell); } } - else if (c == 'a' || c == 'i' || c == 'o') { + else if (c == 'a' || c == 'i' || c == 'o' || c == 's') { uint32_t dataSize = parse_xaiger_literal(f); f.ignore(dataSize); + log_debug("ignoring '%c'\n", c); } else { break; |