From 7c7bc0c617243639bfad4edcece90d04c891ee31 Mon Sep 17 00:00:00 2001 From: Lofty Date: Wed, 5 Aug 2026 11:48:31 +0100 Subject: [PATCH] write_xaiger2: don't skip adding POs to map file Co-authored-by: nella --- backends/aiger2/aiger.cc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc index afcec2fbf..f196bbb87 100644 --- a/backends/aiger2/aiger.cc +++ b/backends/aiger2/aiger.cc @@ -1273,10 +1273,7 @@ struct XAigerWriter : AigerWriter { for (auto w : top->wires()) if (w->port_output) for (int i = 0; i < w->width; i++) { - // When a module output is directly driven by an opaque box, we - // don't emit it to the mapping file to aid re-integration, but we - // do emit a proper PO. - if (map_file.is_open() && !driven_by_opaque_box.count(SigBit(w, i))) { + if (map_file.is_open()) { map_file << "output " << proper_pos_counter << " " << i << " " << w->name.c_str() << "\n"; }