abc_new: Fix PI confusion in whitebox model export

povik · povik · commit 559209c8560a · 2024-12-10T14:27:29.000+01:00
diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
@@ -1102,7 +1102,7 @@ struct XAigerWriter : AigerWriter {
 							holes_module->ports.push_back(w->name);
 							holes_pis.push_back(w);
 						}
-						in_conn.append(holes_pis[i]);
+						in_conn.append(holes_pis[holes_pi_idx]);
 						holes_pi_idx++;
 					}
 					holes_wb->setPort(port_id, in_conn);

Original file line number	Diff line number	Diff line change
`@@ -1102,7 +1102,7 @@ struct XAigerWriter : AigerWriter {`
`1102`	`1102`	`holes_module->ports.push_back(w->name);`
`1103`	`1103`	`holes_pis.push_back(w);`
`1104`	`1104`	`}`
`1105`		`- in_conn.append(holes_pis[i]);`
	`1105`	`+ in_conn.append(holes_pis[holes_pi_idx]);`
`1106`	`1106`	`holes_pi_idx++;`
`1107`	`1107`	`}`
`1108`	`1108`	`holes_wb->setPort(port_id, in_conn);`