write_xaiger: skip abc9_flop only if abc_box_seq present

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index c3fc61e3b13232b85ba1bbe228dc7ae0fc8a77ca..a9b75ecc7b14eee8a16fb4eb16a022b9250f09c7 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -226,7 +226,7 @@ struct XAigerWriter
                                }
 
                                if (inst_module) {
-                                       bool abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
+                                       bool abc9_flop = false;
                                        auto it = cell->attributes.find("\\abc9_box_seq");
                                        if (it != cell->attributes.end()) {
                                                int abc9_box_seq = it->second.as_int();
@@ -234,6 +234,7 @@ struct XAigerWriter
                                                        box_list.resize(abc9_box_seq+1);
                                                box_list[abc9_box_seq] = cell;
                                                // Only flop boxes may have arrival times
+                                               abc9_flop = inst_module->get_bool_attribute("\\abc9_flop");
                                                if (!abc9_flop)
                                                        continue;
                                        }