xaiger: promote abc9_keep wires

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 6b910eecd7e3767e73cf7fce15e027072bc82d84..4a8f54c4dd09ff5f276d36c6a6e98c745d06208b 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -156,7 +156,7 @@ struct XAigerWriter
 
                // promote keep wires
                for (auto wire : module->wires())
-                       if (wire->get_bool_attribute(ID::keep))
+                       if (wire->get_bool_attribute(ID::keep) || wire->get_bool_attribute(ID::abc9_keep))
                                sigmap.add(wire);
 
                for (auto wire : module->wires()) {