Ignore a/i/o/h XAIGER extensions

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index f2d21f1db92cd14c7227bbd873828eb77c6b4c40..9c8cee63a56f499bc0394c0e903494c5144e6abe 100644 (file)
--- 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);