attributes.count() -> get_bool_attribute()

2026-08-28 17:14:11 +02:00 · 2020-01-01 08:33:32 -08:00
parent 44d9fb0e7c
commit ac808c5e2a
2 changed files with 3 additions and 3 deletions
@@ -284,7 +284,7 @@ struct XAigerWriter

                                        toposort.node(cell->name);

-                                        if (inst_module->attributes.count("\\abc9_flop"))
+                                        if (inst_module->get_bool_attribute("\\abc9_flop"))
                                                flop_boxes.push_back(cell);
                                        continue;
                                }