Add write_aiger $anyseq support

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 02871a6fd1795c3441477df3d253562185bcd5b9..5bc268437396e490e0265808c99326c26065353c 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -188,6 +188,13 @@ struct AigerWriter
                                continue;
                        }
 
+                       if (cell->type == "$anyseq")
+                       {
+                               for (auto bit : sigmap(cell->getPort("\\Y")))
+                                       input_bits.insert(bit);
+                               continue;
+                       }
+
                        log_error("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));
                }