diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-12 09:21:46 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-12 09:21:46 -0800 |
| commit | 6faad18874d38ee2987d9cec573b5b3c8a41f279 (patch) | |
| tree | 27fcf358fac6c4b53d64ef0a7bef4a3d1eea5f5a /frontends/aiger/aigerparse.cc | |
| parent | a2ae39381124ccfec348293c7c7926597c26a5b8 (diff) | |
| parent | 04c580fde7a0d1d50c2d93bb6661b3f17a7d61a9 (diff) | |
| download | yosys-6faad18874d38ee2987d9cec573b5b3c8a41f279.tar.gz yosys-6faad18874d38ee2987d9cec573b5b3c8a41f279.tar.bz2 yosys-6faad18874d38ee2987d9cec573b5b3c8a41f279.zip | |
Merge branch 'read_aiger' of github.com:eddiehung/yosys into read_aiger
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index 888a4afe6..7df28fe87 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -102,7 +102,6 @@ void AigerReader::parse_aiger() if (f.peek() == '\n') break; // Else constraint (TODO) - break; } else log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c); @@ -225,7 +224,7 @@ void AigerReader::parse_aiger_ascii() std::getline(f, line); // Ignore up to start of next line // Parse AND - for (unsigned i = 0; i < A; ++i, ++line_count) { + for (unsigned i = 0; i < A; ++i) { if (!(f >> l1 >> l2 >> l3)) log_error("Line %u cannot be interpreted as an AND!\n", line_count); @@ -236,7 +235,6 @@ void AigerReader::parse_aiger_ascii() RTLIL::Wire *i2_wire = createWireIfNotExists(module, l3); module->addAndGate(NEW_ID, i1_wire, i2_wire, o_wire); } - std::getline(f, line); // Ignore up to start of next line } static unsigned parse_next_delta_literal(std::istream &f, unsigned ref) |