riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

read_xaiger to cope with optional '\n' after 'c'

This commit is contained in:
Eddie Hung 2019-12-17 15:43:21 -08:00
parent e82a9bc642
commit 0875a07871
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
frontends/aiger/aigerparse.cc
View File

@ -379,8 +379,8 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup)
int c = f.get(); int c = f.get();
if (c != 'c') if (c != 'c')
log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c); log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c);
c = f.get(); if (f.peek() == '\n')
log_assert(c == '\n'); f.get();
// Parse footer (symbol table, comments, etc.) // Parse footer (symbol table, comments, etc.)
std::string s; std::string s;