From f4504e02de9c09f9d8dbb688681c32a491f833fc Mon Sep 17 00:00:00 2001 From: Toni Date: Mon, 13 Apr 2026 15:12:56 +0200 Subject: [PATCH] fix: clone netMap to prevent mutation for net-label-only connections Shallow-clone directConnMap.netMap before passing to ConnectivityMap constructor. Prevents netConnMap.addConnections() from mutating the shared netMap, which caused queuedDcNetIds to include nets with zero direct connections, generating traces for net-label-only connections. Closes #79 --- .../getConnectivityMapFromInputProblem.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/solvers/MspConnectionPairSolver/getConnectivityMapFromInputProblem.ts b/lib/solvers/MspConnectionPairSolver/getConnectivityMapFromInputProblem.ts index d3a098c3..52aacd01 100644 --- a/lib/solvers/MspConnectionPairSolver/getConnectivityMapFromInputProblem.ts +++ b/lib/solvers/MspConnectionPairSolver/getConnectivityMapFromInputProblem.ts @@ -14,7 +14,7 @@ export const getConnectivityMapsFromInputProblem = ( ]) } - const netConnMap = new ConnectivityMap(directConnMap.netMap) + const netConnMap = new ConnectivityMap({...directConnMap.netMap}) for (const netConn of inputProblem.netConnections) { netConnMap.addConnections([[netConn.netId, ...netConn.pinIds]])