xaiger: add check for $__ABC9_DELAY model

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 3b51d8685d835adeb0258fd85e8d29a79d4d2bb7..3c7c745fe8815a2bdc20c9f1d8d957919c51953e 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -280,6 +280,10 @@ struct XAigerWriter
                                if (abc9_flop)
                                        continue;
                        }
+                       else {
+                               if (cell->type == ID($__ABC9_DELAY))
+                                       log_error("Cell type '%s' not recognised. Check that '+/abc9_model.v' has been read.\n", cell->type.c_str());
+                       }
 
                        bool cell_known = inst_module || cell->known();
                        for (const auto &c : cell->connections()) {