Consistent log message, ignore 's' extension

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 4b66af3adb3e7ce10877a09f77f98d4dd070cc70..9374f1ab3586adff3568073b086807351de2fb2b 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -432,7 +432,7 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup)
                        else if (c == 'r') {
                                uint32_t dataSize YS_ATTRIBUTE(unused) = parse_xaiger_literal(f);
                                flopNum = parse_xaiger_literal(f);
-                               log_debug("flopNum: %u\n", flopNum);
+                               log_debug("flopNum = %u\n", flopNum);
                                log_assert(dataSize == (flopNum+1) * sizeof(uint32_t));
                                f.ignore(flopNum * sizeof(uint32_t));
                        }
@@ -464,9 +464,10 @@ void AigerReader::parse_xaiger(const dict<int,IdString> &box_lookup)
                                        boxes.emplace_back(cell);
                                }
                        }
-                       else if (c == 'a' || c == 'i' || c == 'o') {
+                       else if (c == 'a' || c == 'i' || c == 'o' || c == 's') {
                                uint32_t dataSize = parse_xaiger_literal(f);
                                f.ignore(dataSize);
+                               log_debug("ignoring '%c'\n", c);
                        }
                        else {
                                break;