diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-04-17 10:55:23 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-04-17 10:55:23 -0700 |
| commit | e1b550d203eecacc5b79b87de7a3d49ed5713382 (patch) | |
| tree | e68bd7be8ce4ba589f97bbff1b16910ee4121e7b /frontends/aiger | |
| parent | 17fb6c35229bddc636021def319547e4d8fdf271 (diff) | |
| download | yosys-e1b550d203eecacc5b79b87de7a3d49ed5713382.tar.gz yosys-e1b550d203eecacc5b79b87de7a3d49ed5713382.tar.bz2 yosys-e1b550d203eecacc5b79b87de7a3d49ed5713382.zip | |
Ignore a/i/o/h XAIGER extensions
Diffstat (limited to 'frontends/aiger')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index f2d21f1db..9c8cee63a 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -368,6 +368,13 @@ void AigerReader::parse_xaiger() f >> s; log_debug("n: '%s'\n", s.c_str()); } + else if (c == 'a' || c == 'i' || c == 'o' || c == 'h') { + uint32_t dataSize = parse_xaiger_literal(f); + f.ignore(dataSize); + } + else { + break; + } } else if (c == 'i' || c == 'l' || c == 'o') { f.ignore(1); |