mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 10:25:19 +00:00
Code Activity

Rename label

Browse source
This commit is contained in:
Eddie Hung 2019-05-21 18:20:31 -07:00
parent b5a29460b9
commit 7057753427
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
frontends/aiger/aigerparse.cc
View file

@ -55,16 +55,15 @@ void AigerReader::parse_aiger()
// Optional values
B = C = J = F = 0;
if (f.peek() != ' ') goto parse_body;
if (f.peek() != ' ') goto end_of_header;
if (!(f >> B)) log_error("Invalid AIGER header\n");
if (f.peek() != ' ') goto parse_body;
if (f.peek() != ' ') goto end_of_header;
if (!(f >> C)) log_error("Invalid AIGER header\n");
if (f.peek() != ' ') goto parse_body;
if (f.peek() != ' ') goto end_of_header;
if (!(f >> J)) log_error("Invalid AIGER header\n");
if (f.peek() != ' ') goto parse_body;
if (f.peek() != ' ') goto end_of_header;
if (!(f >> F)) log_error("Invalid AIGER header\n");
parse_body:
end_of_header:
std::string line;
std::getline(f, line); // Ignore up to start of next line, as standard