From e1b550d203eecacc5b79b87de7a3d49ed5713382 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 17 Apr 2019 10:55:23 -0700
Subject: [PATCH] Ignore a/i/o/h XAIGER extensions

---
 frontends/aiger/aigerparse.cc | 7 +++++++
 1 file changed, 7 insertions(+)

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);
-- 
2.30.2