mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-13 09:26:16 +00:00
Code Activity

Remove unnecessary std::getline() for ASCII

Browse source
This commit is contained in:
Eddie Hung 2019-06-07 11:28:25 -07:00
parent 65924fd12f
commit d00ae1d6a8
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
frontends/aiger/aigerparse.cc
View file

@ -230,7 +230,6 @@ void AigerReader::parse_aiger_ascii()
wire->port_output = true; wire->port_output = true;
outputs.push_back(wire); outputs.push_back(wire);
} }
std::getline(f, line); // Ignore up to start of next line
// Parse bad properties // Parse bad properties
for (unsigned i = 0; i < B; ++i, ++line_count) { for (unsigned i = 0; i < B; ++i, ++line_count) {
@ -242,8 +241,6 @@ void AigerReader::parse_aiger_ascii()
wire->port_output = true; wire->port_output = true;
bad_properties.push_back(wire); bad_properties.push_back(wire);
} }
if (B > 0)
std::getline(f, line); // Ignore up to start of next line
// TODO: Parse invariant constraints // TODO: Parse invariant constraints
for (unsigned i = 0; i < C; ++i, ++line_count) for (unsigned i = 0; i < C; ++i, ++line_count)