diff --git a/vehicle/src/Vehicle/Backend/Queries/PostProcessing.hs b/vehicle/src/Vehicle/Backend/Queries/PostProcessing.hs index cd7238754..b8c46a4b9 100644 --- a/vehicle/src/Vehicle/Backend/Queries/PostProcessing.hs +++ b/vehicle/src/Vehicle/Backend/Queries/PostProcessing.hs @@ -10,6 +10,7 @@ import Control.Monad.State (get) import Data.Either (partitionEithers) import Data.HashMap.Strict qualified as HashMap (toList) import Data.LinkedHashMap qualified as LinkedHashMap +import Data.List (sortOn) import Data.List.NonEmpty (NonEmpty (..)) import Data.List.NonEmpty qualified as NonEmpty import Data.Map (Map) @@ -75,7 +76,7 @@ reconstructNetworkTensorVars :: m UserVariableReconstruction reconstructNetworkTensorVars solutions = do GlobalCtx {..} <- get - let networkTensorVars = HashMap.toList $ networkVariableReductions + let networkTensorVars = sortOn fst $ HashMap.toList $ networkVariableReductions let mkStep (var, (ratVars, _)) = ReconstructTensor (NetworkTensorVar var) (fmap NetworkRationalVar ratVars) return $ foldr (\v -> (mkStep v :)) solutions networkTensorVars diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect.vcl-plan.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect.vcl-plan.golden index f4315f7bf..84d6da938 100644 --- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect.vcl-plan.golden +++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect.vcl-plan.golden @@ -16,14 +16,31 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, [ + { + "tag": "NetworkRationalVar", + "contents": { + "tensorIndices": [ + 1 + ], + "originalVar": { + "startingIndex": 0, + "networkTensorVarDimensions": [ + 2 + ], + "networkName": "andGate", + "inputOrOutput": "Input", + "application": 0 + } + } + }, { "tag": "NetworkRationalVar", "contents": { @@ -33,10 +50,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -52,31 +69,14 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, [ - { - "tag": "NetworkRationalVar", - "contents": { - "tensorIndices": [ - 1 - ], - "originalVar": { - "startingIndex": 0, - "networkTensorVarDimensions": [ - 2 - ], - "networkName": "andGate", - "inputOrOutput": "Input", - "application": 0 - } - } - }, { "tag": "NetworkRationalVar", "contents": { @@ -86,10 +86,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } @@ -319,14 +319,31 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, [ + { + "tag": "NetworkRationalVar", + "contents": { + "tensorIndices": [ + 1 + ], + "originalVar": { + "startingIndex": 0, + "networkTensorVarDimensions": [ + 2 + ], + "networkName": "andGate", + "inputOrOutput": "Input", + "application": 0 + } + } + }, { "tag": "NetworkRationalVar", "contents": { @@ -336,10 +353,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -355,31 +372,14 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, [ - { - "tag": "NetworkRationalVar", - "contents": { - "tensorIndices": [ - 1 - ], - "originalVar": { - "startingIndex": 0, - "networkTensorVarDimensions": [ - 2 - ], - "networkName": "andGate", - "inputOrOutput": "Input", - "application": 0 - } - } - }, { "tag": "NetworkRationalVar", "contents": { @@ -389,10 +389,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } @@ -622,14 +622,31 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, [ + { + "tag": "NetworkRationalVar", + "contents": { + "tensorIndices": [ + 1 + ], + "originalVar": { + "startingIndex": 0, + "networkTensorVarDimensions": [ + 2 + ], + "networkName": "andGate", + "inputOrOutput": "Input", + "application": 0 + } + } + }, { "tag": "NetworkRationalVar", "contents": { @@ -639,10 +656,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -658,31 +675,14 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, [ - { - "tag": "NetworkRationalVar", - "contents": { - "tensorIndices": [ - 1 - ], - "originalVar": { - "startingIndex": 0, - "networkTensorVarDimensions": [ - 2 - ], - "networkName": "andGate", - "inputOrOutput": "Input", - "application": 0 - } - } - }, { "tag": "NetworkRationalVar", "contents": { @@ -692,10 +692,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } @@ -925,14 +925,31 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, [ + { + "tag": "NetworkRationalVar", + "contents": { + "tensorIndices": [ + 1 + ], + "originalVar": { + "startingIndex": 0, + "networkTensorVarDimensions": [ + 2 + ], + "networkName": "andGate", + "inputOrOutput": "Input", + "application": 0 + } + } + }, { "tag": "NetworkRationalVar", "contents": { @@ -942,10 +959,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 1 + 2 ], "networkName": "andGate", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -961,31 +978,14 @@ "contents": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, [ - { - "tag": "NetworkRationalVar", - "contents": { - "tensorIndices": [ - 1 - ], - "originalVar": { - "startingIndex": 0, - "networkTensorVarDimensions": [ - 2 - ], - "networkName": "andGate", - "inputOrOutput": "Input", - "application": 0 - } - } - }, { "tag": "NetworkRationalVar", "contents": { @@ -995,10 +995,10 @@ "originalVar": { "startingIndex": 0, "networkTensorVarDimensions": [ - 2 + 1 ], "networkName": "andGate", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity.vcl-plan.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity.vcl-plan.golden index 1b14ac8db..d1b921789 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity.vcl-plan.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity.vcl-plan.golden @@ -14,12 +14,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -31,12 +31,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -48,12 +48,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -67,12 +67,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -84,12 +84,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -101,12 +101,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -118,12 +118,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -135,12 +135,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -152,12 +152,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -171,12 +171,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -188,12 +188,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -205,12 +205,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -222,12 +222,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -239,12 +239,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -256,12 +256,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -275,12 +275,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -292,12 +292,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -309,12 +309,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -642,12 +642,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -659,12 +659,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -676,12 +676,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -695,12 +695,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -712,12 +712,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -729,12 +729,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -746,12 +746,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -763,12 +763,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -780,12 +780,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -799,12 +799,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -816,12 +816,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -833,12 +833,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -850,12 +850,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -867,12 +867,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -884,12 +884,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -903,12 +903,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -920,12 +920,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -937,12 +937,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -1270,12 +1270,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -1287,12 +1287,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -1304,12 +1304,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -1323,12 +1323,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -1340,12 +1340,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1357,12 +1357,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1374,12 +1374,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1391,12 +1391,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1408,12 +1408,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1427,12 +1427,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -1444,12 +1444,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -1461,12 +1461,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -1478,12 +1478,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -1495,12 +1495,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -1512,12 +1512,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -1531,12 +1531,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -1548,12 +1548,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -1565,12 +1565,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -1898,12 +1898,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -1915,12 +1915,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -1932,12 +1932,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -1951,12 +1951,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -1968,12 +1968,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -1985,12 +1985,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2002,12 +2002,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2019,12 +2019,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2036,12 +2036,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2055,12 +2055,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -2072,12 +2072,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2089,12 +2089,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2106,12 +2106,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2123,12 +2123,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2140,12 +2140,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2159,12 +2159,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -2176,12 +2176,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -2193,12 +2193,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -2526,12 +2526,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -2543,12 +2543,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -2560,12 +2560,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -2579,12 +2579,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -2596,12 +2596,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2613,12 +2613,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2630,12 +2630,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2647,12 +2647,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2664,12 +2664,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -2683,12 +2683,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -2700,12 +2700,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2717,12 +2717,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2734,12 +2734,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2751,12 +2751,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2768,12 +2768,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -2787,12 +2787,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -2804,12 +2804,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -2821,12 +2821,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -3154,12 +3154,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -3171,12 +3171,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -3188,12 +3188,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -3207,12 +3207,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -3224,12 +3224,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3241,12 +3241,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3258,12 +3258,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3275,12 +3275,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3292,12 +3292,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3311,12 +3311,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -3328,12 +3328,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3345,12 +3345,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3362,12 +3362,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3379,12 +3379,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3396,12 +3396,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3415,12 +3415,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -3432,12 +3432,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -3449,12 +3449,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -3782,12 +3782,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -3799,12 +3799,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -3816,12 +3816,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -3835,12 +3835,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -3852,12 +3852,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3869,12 +3869,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3886,12 +3886,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3903,12 +3903,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3920,12 +3920,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -3939,12 +3939,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -3956,12 +3956,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3973,12 +3973,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -3990,12 +3990,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4007,12 +4007,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4024,12 +4024,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4043,12 +4043,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -4060,12 +4060,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -4077,12 +4077,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -4410,12 +4410,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -4427,12 +4427,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -4444,12 +4444,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -4463,12 +4463,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -4480,12 +4480,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -4497,12 +4497,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -4514,12 +4514,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -4531,12 +4531,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -4548,12 +4548,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -4567,12 +4567,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -4584,12 +4584,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4601,12 +4601,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4618,12 +4618,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4635,12 +4635,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4652,12 +4652,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -4671,12 +4671,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -4688,12 +4688,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -4705,12 +4705,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -5038,12 +5038,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -5055,12 +5055,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -5072,12 +5072,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -5091,12 +5091,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -5108,12 +5108,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5125,12 +5125,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5142,12 +5142,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5159,12 +5159,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5176,12 +5176,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5195,12 +5195,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -5212,12 +5212,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5229,12 +5229,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5246,12 +5246,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5263,12 +5263,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5280,12 +5280,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5299,12 +5299,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -5316,12 +5316,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -5333,12 +5333,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -5666,12 +5666,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } }, @@ -5683,12 +5683,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -5700,12 +5700,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 5, "networkTensorVarDimensions": [ 2 ], - "networkName": "encode", - "inputOrOutput": "Output", + "networkName": "decode", + "inputOrOutput": "Input", "application": 0 } } @@ -5719,12 +5719,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } }, @@ -5736,12 +5736,12 @@ 4 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5753,12 +5753,12 @@ 3 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5770,12 +5770,12 @@ 2 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5787,12 +5787,12 @@ 1 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5804,12 +5804,12 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 2, "networkTensorVarDimensions": [ 5 ], - "networkName": "encode", - "inputOrOutput": "Input", + "networkName": "decode", + "inputOrOutput": "Output", "application": 0 } } @@ -5823,12 +5823,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } }, @@ -5840,12 +5840,12 @@ 4 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5857,12 +5857,12 @@ 3 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5874,12 +5874,12 @@ 2 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5891,12 +5891,12 @@ 1 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5908,12 +5908,12 @@ 0 ], "originalVar": { - "startingIndex": 2, + "startingIndex": 0, "networkTensorVarDimensions": [ 5 ], - "networkName": "decode", - "inputOrOutput": "Output", + "networkName": "encode", + "inputOrOutput": "Input", "application": 0 } } @@ -5927,12 +5927,12 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } }, @@ -5944,12 +5944,12 @@ 1 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } @@ -5961,12 +5961,12 @@ 0 ], "originalVar": { - "startingIndex": 5, + "startingIndex": 0, "networkTensorVarDimensions": [ 2 ], - "networkName": "decode", - "inputOrOutput": "Input", + "networkName": "encode", + "inputOrOutput": "Output", "application": 0 } } diff --git a/vehicle/tests/golden/compile/issue750/Marabou.queries/p.vcl-plan.golden b/vehicle/tests/golden/compile/issue750/Marabou.queries/p.vcl-plan.golden index fc58a8d74..ce38dfeca 100644 --- a/vehicle/tests/golden/compile/issue750/Marabou.queries/p.vcl-plan.golden +++ b/vehicle/tests/golden/compile/issue750/Marabou.queries/p.vcl-plan.golden @@ -55,7 +55,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } }, @@ -72,7 +72,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } } @@ -86,13 +86,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } }, [ @@ -103,13 +103,13 @@ 0 ], "originalVar": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } } } @@ -122,13 +122,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } }, [ @@ -139,13 +139,13 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } } } diff --git a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3.vcl-plan.golden b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3.vcl-plan.golden index 57b60b7c6..5ad781244 100644 --- a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3.vcl-plan.golden +++ b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3.vcl-plan.golden @@ -55,7 +55,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } }, @@ -72,7 +72,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } } @@ -86,13 +86,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } }, [ @@ -103,13 +103,13 @@ 0 ], "originalVar": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } } } @@ -122,13 +122,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } }, [ @@ -139,13 +139,13 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } } } @@ -380,7 +380,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } }, @@ -397,7 +397,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } } @@ -411,13 +411,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } }, [ @@ -428,13 +428,13 @@ 0 ], "originalVar": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } } } @@ -447,13 +447,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } }, [ @@ -464,13 +464,13 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } } } diff --git a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic.vcl-plan.golden b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic.vcl-plan.golden index a3cd8404b..cc54259c2 100644 --- a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic.vcl-plan.golden +++ b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic.vcl-plan.golden @@ -55,7 +55,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } }, @@ -72,7 +72,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } } @@ -86,13 +86,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } }, [ @@ -103,13 +103,13 @@ 0 ], "originalVar": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } } } @@ -122,13 +122,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } }, [ @@ -139,13 +139,13 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } } } diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0.vcl-plan.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0.vcl-plan.golden index 1b88fa91d..914fbbfbe 100644 --- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0.vcl-plan.golden +++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0.vcl-plan.golden @@ -19,7 +19,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, @@ -36,7 +36,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -53,7 +53,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -72,7 +72,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, @@ -89,7 +89,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } @@ -106,7 +106,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1.vcl-plan.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1.vcl-plan.golden index 4aaf2fe1d..f69396d78 100644 --- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1.vcl-plan.golden +++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1.vcl-plan.golden @@ -19,7 +19,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } }, @@ -36,7 +36,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -53,7 +53,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 0 } } @@ -72,7 +72,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } }, @@ -89,7 +89,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } @@ -106,7 +106,7 @@ 2 ], "networkName": "f", - "inputOrOutput": "Input", + "inputOrOutput": "Output", "application": 0 } } diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential.vcl-plan.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential.vcl-plan.golden index 57c2d830b..c23dd2ac8 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential.vcl-plan.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential.vcl-plan.golden @@ -55,7 +55,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } }, @@ -72,7 +72,7 @@ 1 ], "networkName": "f", - "inputOrOutput": "Output", + "inputOrOutput": "Input", "application": 1 } } @@ -86,13 +86,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } }, [ @@ -103,13 +103,13 @@ 0 ], "originalVar": { - "startingIndex": 1, + "startingIndex": 0, "networkTensorVarDimensions": [ 1 ], "networkName": "f", - "inputOrOutput": "Input", - "application": 1 + "inputOrOutput": "Output", + "application": 0 } } } @@ -122,13 +122,13 @@ { "tag": "NetworkTensorVar", "contents": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } }, [ @@ -139,13 +139,13 @@ 0 ], "originalVar": { - "startingIndex": 0, + "startingIndex": 1, "networkTensorVarDimensions": [ 1 ], "networkName": "f", "inputOrOutput": "Output", - "application": 0 + "application": 1 } } }