Skip to content

Fix incorrect variable indices in maraboupy MarabouNetwork.varMap - #440

Open
Reginhar wants to merge 1 commit into
NeuralNetworkVerification:masterfrom
Reginhar:fix-varMap
Open

Fix incorrect variable indices in maraboupy MarabouNetwork.varMap#440
Reginhar wants to merge 1 commit into
NeuralNetworkVerification:masterfrom
Reginhar:fix-varMap

Reassign all variables in varMap, not only output variables

4b02082
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs