luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 01:53:53 +02:00
Code Issues Packages Projects Releases Wiki Activity

read_xaiger: skip symbol table instead of crashing since its handling was removed

Browse Source
This commit is contained in:
Emil J. Tywoniak
2026-09-30 11:43:00 +02:00
parent 0fa1478ce8
commit 4c391fdf5b
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontends/aiger/aigerparse.cc
+7 -2
View File
@@ -400,14 +400,19 @@ void AigerReader::parse_xaiger()
if (n0)
module->connect(n0, State::S0);
// Skip the symbol table (present after e.g. '&get -n'); XAIGER wires are positional
std::string s;
int c = f.get();
while (c == 'i' || c == 'l' || c == 'o' || c == 'b') {
std::getline(f, s);
c = f.get();
}
if (c != 'c') // 'c'omment section (used for extensions)
log_error("Line %u: cannot interpret first character '%c'!\n", line_count, c);
if (f.peek() == '\n')
f.get();
// Parse footer (symbol table, comments, etc.)
std::string s;
// Parse footer (comments, extensions)
for (int c = f.get(); c != EOF; c = f.get()) {
// XAIGER extensions
if (c == 'm') { // LUT 'm'apping