From f51f7d82bad5f963b342444e163551f47679d48c Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Thu, 17 Aug 2023 12:41:47 +0900 Subject: [PATCH] Bump version v0.9.0 -> v0.10.0 --- CONTRIBUTING.md | 20 +++++++++---------- bumpver.toml | 2 +- vehicle-python/src/vehicle_lang/_version.py | 2 +- vehicle-python/vehicle-python-binding.cabal | 2 +- vehicle-syntax/vehicle-syntax.cabal | 2 +- .../golden/compile/acasXu/Agda.agda.golden | 2 +- .../property1-query1.txt.golden | 2 +- .../property10-query1.txt.golden | 2 +- .../property10-query2.txt.golden | 2 +- .../property10-query3.txt.golden | 2 +- .../property10-query4.txt.golden | 2 +- .../property2-query1.txt.golden | 2 +- .../property3-query1.txt.golden | 2 +- .../property4-query1.txt.golden | 2 +- .../property5-query1.txt.golden | 2 +- .../property5-query2.txt.golden | 2 +- .../property5-query3.txt.golden | 2 +- .../property5-query4.txt.golden | 2 +- .../property6-query1.txt.golden | 2 +- .../property6-query2.txt.golden | 2 +- .../property6-query3.txt.golden | 2 +- .../property6-query4.txt.golden | 2 +- .../property6-query5.txt.golden | 2 +- .../property6-query6.txt.golden | 2 +- .../property6-query7.txt.golden | 2 +- .../property6-query8.txt.golden | 2 +- .../property7-query1.txt.golden | 2 +- .../property7-query2.txt.golden | 2 +- .../property8-query1.txt.golden | 2 +- .../property8-query10.txt.golden | 2 +- .../property8-query11.txt.golden | 2 +- .../property8-query12.txt.golden | 2 +- .../property8-query13.txt.golden | 2 +- .../property8-query14.txt.golden | 2 +- .../property8-query15.txt.golden | 2 +- .../property8-query16.txt.golden | 2 +- .../property8-query2.txt.golden | 2 +- .../property8-query3.txt.golden | 2 +- .../property8-query4.txt.golden | 2 +- .../property8-query5.txt.golden | 2 +- .../property8-query6.txt.golden | 2 +- .../property8-query7.txt.golden | 2 +- .../property8-query8.txt.golden | 2 +- .../property8-query9.txt.golden | 2 +- .../property9-query1.txt.golden | 2 +- .../property9-query2.txt.golden | 2 +- .../property9-query3.txt.golden | 2 +- .../property9-query4.txt.golden | 2 +- .../golden/compile/andGate/Agda.agda.golden | 2 +- .../andGateCorrect-query1.txt.golden | 2 +- .../andGateCorrect-query2.txt.golden | 2 +- .../andGateCorrect-query3.txt.golden | 2 +- .../andGateCorrect-query4.txt.golden | 2 +- .../compile/autoencoderError/Agda.agda.golden | 2 +- .../identity-query1.txt.golden | 2 +- .../identity-query10.txt.golden | 2 +- .../identity-query2.txt.golden | 2 +- .../identity-query3.txt.golden | 2 +- .../identity-query4.txt.golden | 2 +- .../identity-query5.txt.golden | 2 +- .../identity-query6.txt.golden | 2 +- .../identity-query7.txt.golden | 2 +- .../identity-query8.txt.golden | 2 +- .../identity-query9.txt.golden | 2 +- .../Marabou.queries/bounded-query1.txt.golden | 2 +- .../Marabou.queries/bounded-query2.txt.golden | 2 +- .../compile/dogsHierarchy/Agda.agda.golden | 2 +- ...oesNotConfuseBigAndSmall-query1.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query10.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query11.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query12.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query13.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query14.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query15.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query16.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query17.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query18.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query19.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query2.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query20.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query21.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query22.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query23.txt.golden | 2 +- ...esNotConfuseBigAndSmall-query24.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query3.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query4.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query5.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query6.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query7.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query8.txt.golden | 2 +- ...oesNotConfuseBigAndSmall-query9.txt.golden | 2 +- .../compile/increasing/Agda.agda.golden | 2 +- .../increasing-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/robust-query1.txt.golden | 2 +- .../compile/mnist-robustness/Agda.agda.golden | 2 +- .../robust!0-query1.txt.golden | 2 +- .../robust!0-query2.txt.golden | 2 +- .../robust!0-query3.txt.golden | 2 +- .../robust!0-query4.txt.golden | 2 +- .../robust!0-query5.txt.golden | 2 +- .../robust!0-query6.txt.golden | 2 +- .../robust!0-query7.txt.golden | 2 +- .../robust!0-query8.txt.golden | 2 +- .../robust!0-query9.txt.golden | 2 +- .../robust!1-query1.txt.golden | 2 +- .../robust!1-query2.txt.golden | 2 +- .../robust!1-query3.txt.golden | 2 +- .../robust!1-query4.txt.golden | 2 +- .../robust!1-query5.txt.golden | 2 +- .../robust!1-query6.txt.golden | 2 +- .../robust!1-query7.txt.golden | 2 +- .../robust!1-query8.txt.golden | 2 +- .../robust!1-query9.txt.golden | 2 +- .../compile/monotonicity/Agda.agda.golden | 2 +- .../monotonic-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../compile/reachability/Agda.agda.golden | 2 +- .../reachable-query1.txt.golden | 2 +- .../simple-arithmetic/Agda.agda.golden | 2 +- .../property-query1.txt.golden | 2 +- .../simple-constantInput/Agda.agda.golden | 2 +- .../Marabou.queries/spec-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/index!0-query1.txt.golden | 2 +- .../Marabou.queries/index!1-query1.txt.golden | 2 +- .../underConstrainedVar1-query1.txt.golden | 2 +- .../underConstrainedVar2-query1.txt.golden | 2 +- .../underConstrainedVars-query1.txt.golden | 2 +- .../unusedVar-query1.txt.golden | 2 +- .../Marabou.queries/test1-query1.txt.golden | 2 +- .../Marabou.queries/test2-query1.txt.golden | 2 +- .../Agda.agda.golden | 2 +- .../golden/compile/simple-if/Agda.agda.golden | 2 +- .../Marabou.queries/prop1-query1.txt.golden | 2 +- .../Marabou.queries/prop1-query2.txt.golden | 2 +- .../Marabou.queries/prop2-query1.txt.golden | 2 +- .../Marabou.queries/prop2-query2.txt.golden | 2 +- .../Marabou.queries/prop3-query1.txt.golden | 2 +- .../Marabou.queries/prop3-query2.txt.golden | 2 +- .../compile/simple-index/Agda.agda.golden | 2 +- .../positive-query1.txt.golden | 2 +- .../positive-query2.txt.golden | 2 +- .../positive-query3.txt.golden | 2 +- .../positive-query4.txt.golden | 2 +- .../compile/simple-let/Agda.agda.golden | 2 +- .../simple-pruneDecls/Agda.agda.golden | 2 +- .../Marabou.queries/p2-query1.txt.golden | 2 +- .../simple-quantifier/Agda.agda.golden | 2 +- .../expandedExpr-query1.txt.golden | 2 +- .../parallel-query1.txt.golden | 2 +- .../parallel-query2.txt.golden | 2 +- .../sequential-query1.txt.golden | 2 +- .../simple-quantifierIn/Agda.agda.golden | 2 +- .../forallInForall-query1.txt.golden | 2 +- .../compile/simple-tensor/Agda.agda.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/p-query2.txt.golden | 2 +- .../Marabou.queries/p-query3.txt.golden | 2 +- .../Marabou.queries/p-query4.txt.golden | 2 +- .../simple-triviallyTrue/Agda.agda.golden | 2 +- .../simple-untypedDecls/Agda.agda.golden | 2 +- .../compile/simple-vector/Agda.agda.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../compile/windController/Agda.agda.golden | 2 +- .../Marabou.queries/safe-query1.txt.golden | 2 +- .../Marabou.queries/safe-query2.txt.golden | 2 +- vehicle/vehicle.cabal | 2 +- 169 files changed, 178 insertions(+), 178 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index aa41b18b8..aa81bcef8 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -437,7 +437,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in vehicle --version ``` - This should print `0.9.0`. + This should print `0.10.0`. ### Building the Vehicle Python bindings @@ -560,14 +560,14 @@ Ensure that [you have the source code](#getting-the-source) and that you have in pipx run tox ``` -This creates the directory `dist` which contains "wheels", which are the binary distribution format for Python packages. These wheels will have file names such as `vehicle_lang-0.9.0-cp311-cp311-macosx_13_0_arm64`: +This creates the directory `dist` which contains "wheels", which are the binary distribution format for Python packages. These wheels will have file names such as `vehicle_lang-0.10.0-cp311-cp311-macosx_13_0_arm64`: ```sh # Supported # Python _____ # versions \ # vvvvvvvvvvv -vehicle_lang-0.9.0-cp311-cp311-macosx_13_0_arm64 +vehicle_lang-0.10.0-cp311-cp311-macosx_13_0_arm64 # ^^^^^^^^^^^^^^^^^ # Supported / # Operating System ______/ @@ -710,7 +710,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in vehicle --version ``` - This should print `0.9.0`. + This should print `0.10.0`. 1. Check if your installation of the `vehicle_lang` package was successful. @@ -905,11 +905,11 @@ The procedure to create a new release is: This creates the directory `dist` which contains "wheels", which are the binary distribution format for Python packages. If you're on macOS with an M1/M2 chipset, these look like: ``` - vehicle_lang-0.9.0-cp310-cp310-macosx_13_0_arm64.whl - vehicle_lang-0.9.0-cp37-cp37m-macosx_13_0_arm64.whl - vehicle_lang-0.9.0-cp39-cp39-macosx_13_0_arm64.whl - vehicle_lang-0.9.0-cp311-cp311-macosx_13_0_arm64.whl - vehicle_lang-0.9.0-cp38-cp38-macosx_13_0_arm64.whl + vehicle_lang-0.10.0-cp310-cp310-macosx_13_0_arm64.whl + vehicle_lang-0.10.0-cp37-cp37m-macosx_13_0_arm64.whl + vehicle_lang-0.10.0-cp39-cp39-macosx_13_0_arm64.whl + vehicle_lang-0.10.0-cp311-cp311-macosx_13_0_arm64.whl + vehicle_lang-0.10.0-cp38-cp38-macosx_13_0_arm64.whl ``` Run the following command to check each wheel's metadata: @@ -930,7 +930,7 @@ The procedure to create a new release is: The release will be at a URL like: - + [vehicle-lang/vehicle]: https://github.com/vehicle-lang/vehicle [GHC]: https://www.haskell.org/ghc/ diff --git a/bumpver.toml b/bumpver.toml index e1e4dc06e..d1c664ad2 100644 --- a/bumpver.toml +++ b/bumpver.toml @@ -1,5 +1,5 @@ [bumpver] -current_version = "v0.9.0" +current_version = "v0.10.0" version_pattern = "vMAJOR.MINOR.PATCH" commit_message = "Bump version {old_version} -> {new_version}" commit = true diff --git a/vehicle-python/src/vehicle_lang/_version.py b/vehicle-python/src/vehicle_lang/_version.py index 3f8ebe97c..47ca7ea68 100644 --- a/vehicle-python/src/vehicle_lang/_version.py +++ b/vehicle-python/src/vehicle_lang/_version.py @@ -1 +1 @@ -VERSION: str = "0.9.0" +VERSION: str = "0.10.0" diff --git a/vehicle-python/vehicle-python-binding.cabal b/vehicle-python/vehicle-python-binding.cabal index 578dfceb3..b0ce4c472 100644 --- a/vehicle-python/vehicle-python-binding.cabal +++ b/vehicle-python/vehicle-python-binding.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: vehicle-python-binding -version: 0.9.0 +version: 0.10.0 description: Please see the README on GitHub at diff --git a/vehicle-syntax/vehicle-syntax.cabal b/vehicle-syntax/vehicle-syntax.cabal index eda368533..4d3cf7f18 100644 --- a/vehicle-syntax/vehicle-syntax.cabal +++ b/vehicle-syntax/vehicle-syntax.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: vehicle-syntax -version: 0.9.0 +version: 0.10.0 description: Please see the README on GitHub at diff --git a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden index cd916fad2..01eb0e83d 100644 --- a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden +++ b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden index edf3ba40f..da9a5c8f7 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 3.9911256459153677 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden index e513854bc..0e85a6b6e 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden index d80e1e987..7e83ff432 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden index 9e06b5ded..ad8723156 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden index e60fa7dec..a6ce14316 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property10-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden index da37e2547..62327d638 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property2-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 -y0 +y2 <= 0.0 -y0 +y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden index e3dfc14f3..29074d6f9 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y0 -y1 <= 0.0 +y0 -y2 <= 0.0 +y0 -y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden index 97dc594ef..2d4b24ba9 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y0 -y1 <= 0.0 +y0 -y2 <= 0.0 +y0 -y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden index ebf5def89..4144617bf 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y0 -y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden index 9943a1a65..6586e23b1 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y1 -y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden index bfa3fd78d..92c7b2e31 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y2 -y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden index 5edb88558..3ca107ffb 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y3 -y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden index 6e504df14..fc3340069 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden index 05abd9bfc..0a45cf4bb 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden index eafe998c4..c970839bf 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden index e62097c94..a95ed68c1 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden index a3fe238b6..470819fe2 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden index 124790630..8846b83fd 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden index 9ae1da1b8..24ca0a0a2 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden index 42fb1efec..57adc41a1 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property6-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden index 378ee32a1..ff4cf946d 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 -y1 +y3 <= 0.0 -y2 +y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden index 7ffd33dfc..aa245ea78 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 -y1 +y4 <= 0.0 -y2 +y4 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden index 94c73e0fd..30d1f94cf 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 +y0 -y1 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden index 0b8547c8c..12f7909be 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query10.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 -y1 +y2 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden index 757e23ed2..fe1b0f12d 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query11.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 -y1 +y3 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden index 25281bc80..2ee401b0a 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query12.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 -y1 +y4 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden index 8d3900629..a668c65a2 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query13.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 +y0 -y1 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden index 2b39674a8..036dec51c 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query14.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 -y1 +y2 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden index 6b3e7e5fa..b2531ee98 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query15.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 -y1 +y3 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden index 9a8abd907..22371c8ee 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query16.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y4 <= 0.0 -y1 +y4 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden index 6cbf828c0..62c67536b 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 -y1 +y2 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden index b1f0ffb84..4ff956b3b 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 -y1 +y3 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden index d976109a8..4a1498b48 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 -y1 +y4 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden index 5f1bfb97f..b21fa9d06 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 +y0 -y1 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden index 235cf2f94..2cb747cfd 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 -y1 +y2 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden index 85a3c817a..96b2f48a9 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 -y1 +y3 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden index df9f0a21a..aa5289467 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y2 <= 0.0 -y1 +y4 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden index f88d49d1a..793198b6e 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query9.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y3 <= 0.0 +y0 -y1 <= 0.0 x0 >= -0.32842287715105956 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden index 5eafe1578..9dd4d06ef 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y0 -y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden index f44b5faec..ddd020527 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y1 -y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden index a9135ff7d..08214f51e 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y2 -y3 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden index 258a7f5be..a1849f56f 100644 --- a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden +++ b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property9-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y3 +y4 <= 0.0 x0 >= -0.32842287715105956 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/andGate/Agda.agda.golden b/vehicle/tests/golden/compile/andGate/Agda.agda.golden index 7e2bba9ab..fe0ee5cc1 100644 --- a/vehicle/tests/golden/compile/andGate/Agda.agda.golden +++ b/vehicle/tests/golden/compile/andGate/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden index 594e80e34..9dbd0f71d 100644 --- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden +++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.5 x0 >= 0.0 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden index 84e424789..5d09e6c47 100644 --- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden +++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.5 x0 >= 0.0 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden index 8a7ffe893..8a2e12e62 100644 --- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden +++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.5 x0 >= 0.0 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden index d4214b506..b28d97c2b 100644 --- a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden +++ b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.5 x0 >= 0.0 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden b/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden index 63f236336..76c9d1448 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden index 657c8b275..e9153e9db 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x0 +y2 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden index cb9629a43..5d602f4b7 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x4 -y6 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden index cc5a941e5..6f76e45be 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x0 -y2 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden index 231cc7852..ae6fe1026 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x1 +y3 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden index 1208ad36c..cccd6bba6 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x1 -y3 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden index 3a9dad388..52adc4cb8 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x2 +y4 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden index 2fc809071..5849f86bc 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x2 -y4 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden index b18573fd2..fea0ba03c 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x3 +y5 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden index d62adcd27..46ee44c82 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x3 -y5 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden index 35ec130a5..9fc4ab457 100644 --- a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden +++ b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x4 +y6 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden index d5255c505..54ab915c2 100644 --- a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden +++ b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 x0 >= 0.0 x0 <= 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden index 709b51dff..54046caa4 100644 --- a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden +++ b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 1.0 x0 >= 0.0 x0 <= 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Agda.agda.golden b/vehicle/tests/golden/compile/dogsHierarchy/Agda.agda.golden index 5edb91ebd..3f7fb8d61 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Agda.agda.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden index 02d83182b..58c249106 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden index 8634be016..f727d4c9c 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden index a923c09b5..9d3b8c086 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden index 8fda380cc..451b45dda 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden index 7a38b7f28..8ae033468 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden index 71d91c500..ddb00aadf 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden index a505a311e..b18b14604 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden index 4584b4d4f..307170af5 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden index 6927306a3..27ac5ed26 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden index ddcd9a853..b02994e31 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden index ef25fe1fe..b7988d499 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden index f32e42e6e..efef44a85 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden index e6ad194cd..8ce462089 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden index 2f7e63bc8..eb85a788c 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden index 50b0b82ff..c1e8f7a8d 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden index 51c08ca9f..0611fb389 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden index ee592ac29..51f2b2cde 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden index 2f70e7321..90a55fe8c 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden index 73d0fb83a..5aabf3afe 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden index 3083ad4c4..68f5c5f6d 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden index 4f15feee7..e193eb74a 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden index 99e307ce7..d0fe62871 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden index 6c28ed3c6..ca2ae993e 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden index ebf619706..7ec71dabf 100644 --- a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden +++ b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/increasing/Agda.agda.golden b/vehicle/tests/golden/compile/increasing/Agda.agda.golden index 64360ea96..2b35e9a3b 100644 --- a/vehicle/tests/golden/compile/increasing/Agda.agda.golden +++ b/vehicle/tests/golden/compile/increasing/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden b/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden index 2df632821..0c021242b 100644 --- a/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden +++ b/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -x0 +y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden index a3bcaf9ad..d7aab8792 100644 --- a/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden index a3bcaf9ad..d7aab8792 100644 --- a/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden b/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden index 8250da631..757f85186 100644 --- a/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 1.05 x0 >= 0.95 x0 >= 0.0 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden b/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden index 2da7cc0d4..3aa5dc3e6 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden index 1e7f84884..77b7de24f 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden index cbba73279..975f09864 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden index 9caf0d390..2a7d44d55 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden index 566596d0e..57ee104cb 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden index c79a6fa71..0dfdc773b 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden index dc85f897a..0ba68a276 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden index 6bcac8205..503d6090c 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden index 3546fd8bb..41d434122 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden index e2e3443e1..0e0656375 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query9.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden index 08ba4a712..14416bb91 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden index c31eed120..5fbc3a917 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden index 542dd07e5..4d1a524e6 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden index d349b26db..8695bb0af 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden index 6c9f95555..d4c2d4cd4 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query5.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden index 2a3b4ae11..7843f4da0 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query6.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden index 3ac58326a..e28af19e9 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query7.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden index 6f4ef5a06..e2fd05cca 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query8.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden index 53551ee17..338882680 100644 --- a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden +++ b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!1-query9.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 <= 0.1 x0 >= -0.1 x1 <= 0.1 diff --git a/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden b/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden index 0ab50d0e7..2d6154129 100644 --- a/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden +++ b/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden index 01a4f3f2b..ae8051fe7 100644 --- a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden +++ b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev -y0 +y1 <= 0.0 +x0 -x1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden index 861cf9574..63213188e 100644 --- a/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/quantifierInIf/Marabou.queries/p-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/reachability/Agda.agda.golden b/vehicle/tests/golden/compile/reachability/Agda.agda.golden index 4703669f1..749cdbabd 100644 --- a/vehicle/tests/golden/compile/reachability/Agda.agda.golden +++ b/vehicle/tests/golden/compile/reachability/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden b/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden index a41ae619d..259ac6d51 100644 --- a/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden +++ b/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 = 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden b/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden index 1aa43a3be..080185116 100644 --- a/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden b/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden index e38d69287..8c23f81df 100644 --- a/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.5 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden b/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden index b02a64a14..533b5c8c5 100644 --- a/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden index 8db0a5b2e..32c2ec595 100644 --- a/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x1 = 0.0 y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden index 42e3f7959..acc9c1ef5 100644 --- a/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 y0 = 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden index 59191a09f..2a807e79b 100644 --- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden index b3817e511..1d27052ae 100644 --- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 y1 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden index d33491620..34edc6f7d 100644 --- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 x0 >= 3.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden index d33491620..34edc6f7d 100644 --- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar2-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 x0 >= 3.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden index 38879cc64..9e48b7580 100644 --- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVars-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 2.0 x0 >= 2.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden index 2c38fc9cb..0cd623900 100644 --- a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/unusedVar-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden index 2b87832cd..148cf3325 100644 --- a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 = 0.0 x0 >= 2.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden index 3eb6a9ce7..91b343685 100644 --- a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test2-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 = 0.0 -2.0x0 +x1 <= -1.0 3.0x0 -2.0x1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden b/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden index 78f11e051..100a7313a 100644 --- a/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-generalisedVariables/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-if/Agda.agda.golden b/vehicle/tests/golden/compile/simple-if/Agda.agda.golden index eae24ed69..62534fca4 100644 --- a/vehicle/tests/golden/compile/simple-if/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-if/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden index b0cb57a01..90e471583 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 x0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden index fbbee146f..9af35d5e7 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query2.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 x0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden index c6e527c88..aa36a1922 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 x0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden index 49e90f9a7..752f08a03 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop2-query2.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.2 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden index c6e527c88..aa36a1922 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 0.0 x0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden index a6be8b541..f6cd2b672 100644 --- a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query2.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 x0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-index/Agda.agda.golden b/vehicle/tests/golden/compile/simple-index/Agda.agda.golden index 78f11e051..100a7313a 100644 --- a/vehicle/tests/golden/compile/simple-index/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-index/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden index 5266a45ca..f985478b5 100644 --- a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.10000000149011612 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden index 6ea7f1e89..0adc46214 100644 --- a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 3.0 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden index 50bff9c2d..7e2f96165 100644 --- a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden +++ b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = -2.0 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden index 1856e459e..e23218c72 100644 --- a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden +++ b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = -3.200000047683716 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-let/Agda.agda.golden b/vehicle/tests/golden/compile/simple-let/Agda.agda.golden index 96065a44e..652ef72c9 100644 --- a/vehicle/tests/golden/compile/simple-let/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-let/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden index 12427e341..90ac81ccb 100644 --- a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden index 861cf9574..63213188e 100644 --- a/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden index bfb8b2f3d..767c54203 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden index 5e0aaea8b..38f26572a 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +x0 -y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden index 861cf9574..63213188e 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden index b2b0ae8b1..f35792db4 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev y0 >= 5.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden index 8072d7bc3..3e45ed436 100644 --- a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev +y0 -y1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden index 6a471226a..89f6eeaaf 100644 --- a/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden index 35b6e6ea2..a4832c63f 100644 --- a/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.5 x1 = 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden b/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden index e03340fee..3871f8137 100644 --- a/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden index 4c29a87ba..b4328fb30 100644 --- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden index f0678bcd3..808072cbe 100644 --- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden index 9b55bc061..0d9692fb5 100644 --- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden +++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden index 5ed726c16..e419ad1db 100644 --- a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden +++ b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden b/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden index fa6768fe8..8b617f73c 100644 --- a/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-triviallyTrue/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden index 78f11e051..100a7313a 100644 --- a/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden b/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden index b9fc2181c..70e6cc50a 100644 --- a/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden +++ b/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden index 69b365f92..3214ed6db 100644 --- a/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 = 0.0 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/windController/Agda.agda.golden b/vehicle/tests/golden/compile/windController/Agda.agda.golden index 15fefa60d..17e9b9e4b 100644 --- a/vehicle/tests/golden/compile/windController/Agda.agda.golden +++ b/vehicle/tests/golden/compile/windController/Agda.agda.golden @@ -2,7 +2,7 @@ -- and should not be modified manually! -- Metadata: -- - Agda version: 2.6.2 --- - Vehicle version: 0.9.0+dev +-- - Vehicle version: 0.10.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden index d569e2f84..ac0e4c33e 100644 --- a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden +++ b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= -3.25 x0 <= 3.25 x1 >= -3.25 diff --git a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden index d8847ad23..f538b52b4 100644 --- a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden +++ b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.9.0+dev +// - Vehicle version: 0.10.0+dev x0 >= -3.25 x0 <= 3.25 x1 >= -3.25 diff --git a/vehicle/vehicle.cabal b/vehicle/vehicle.cabal index f95883ed1..967ec6b16 100644 --- a/vehicle/vehicle.cabal +++ b/vehicle/vehicle.cabal @@ -1,6 +1,6 @@ cabal-version: 3.4 name: vehicle -version: 0.9.0 +version: 0.10.0 description: Please see the README on GitHub at