From f8dcd995b07d5c6178d10829c0d533cea7def2f0 Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Tue, 28 Jan 2025 11:48:34 +0800 Subject: [PATCH] Bump version v0.16.0 -> v0.16.1 --- CITATION.cff | 6 +++--- 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 +- .../property-query1.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 +- .../isMalicious-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../Marabou.queries/p1-query1.txt.golden | 2 +- .../Marabou.queries/p3-query1.txt.golden | 2 +- .../Marabou.queries/p3-query2.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 +- .../Marabou.queries/safe-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 +- .../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-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-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 +- .../Marabou.queries/p-query1.txt.golden | 2 +- .../multiProperty!1!0-query1.txt.golden | 2 +- vehicle/vehicle.cabal | 2 +- 183 files changed, 194 insertions(+), 194 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index 8b54350de..408b81f60 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -14,11 +14,11 @@ authors: given-names: "Marco" - family-names: "Komendantskaya" given-names: "Ekaterina" -version: "0.16.0" -date-released: "2024-12-13" +version: "0.16.1" +date-released: "2025-01-28" license: "BSD-3-Clause" type: "software" -repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.0" +repository-artifact: "https://github.com/vehicle-lang/vehicle/releases/tag/v0.16.1" repository-code: "https://github.com/vehicle-lang/vehicle" references: - authors: diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b7b413998..2078aa2d0 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -450,7 +450,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in vehicle --version ``` - This should print `0.16.0`. + This should print `0.16.1`. ### Building the Vehicle Python bindings @@ -573,14 +573,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.16.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.16.1-cp311-cp311-macosx_13_0_arm64`: ```sh # Supported # Python _____ # versions \ # vvvvvvvvvvv -vehicle_lang-0.16.0-cp311-cp311-macosx_13_0_arm64 +vehicle_lang-0.16.1-cp311-cp311-macosx_13_0_arm64 # ^^^^^^^^^^^^^^^^^ # Supported / # Operating System ______/ @@ -725,7 +725,7 @@ Ensure that [you have the source code](#getting-the-source) and that you have in vehicle --version ``` - This should print `0.16.0`. + This should print `0.16.1`. 1. Check if your installation of the `vehicle_lang` package was successful. @@ -934,11 +934,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.16.0-cp310-cp310-macosx_13_0_arm64.whl - vehicle_lang-0.16.0-cp37-cp37m-macosx_13_0_arm64.whl - vehicle_lang-0.16.0-cp39-cp39-macosx_13_0_arm64.whl - vehicle_lang-0.16.0-cp311-cp311-macosx_13_0_arm64.whl - vehicle_lang-0.16.0-cp38-cp38-macosx_13_0_arm64.whl + vehicle_lang-0.16.1-cp310-cp310-macosx_13_0_arm64.whl + vehicle_lang-0.16.1-cp37-cp37m-macosx_13_0_arm64.whl + vehicle_lang-0.16.1-cp39-cp39-macosx_13_0_arm64.whl + vehicle_lang-0.16.1-cp311-cp311-macosx_13_0_arm64.whl + vehicle_lang-0.16.1-cp38-cp38-macosx_13_0_arm64.whl ``` Run the following command to check each wheel's metadata: @@ -959,7 +959,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 bab4eb883..1facf5ca4 100644 --- a/bumpver.toml +++ b/bumpver.toml @@ -1,5 +1,5 @@ [bumpver] -current_version = "v0.16.0" +current_version = "v0.16.1" 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 2f7bb413d..568567082 100644 --- a/vehicle-python/src/vehicle_lang/_version.py +++ b/vehicle-python/src/vehicle_lang/_version.py @@ -1 +1 @@ -VERSION: str = "0.16.0" +VERSION: str = "0.16.1" diff --git a/vehicle-python/vehicle-python-binding.cabal b/vehicle-python/vehicle-python-binding.cabal index fca81482c..0c75d44c9 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.16.0 +version: 0.16.1 description: Please see the README on GitHub at diff --git a/vehicle-syntax/vehicle-syntax.cabal b/vehicle-syntax/vehicle-syntax.cabal index 9bc7c50c8..b91ef10a5 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.16.0 +version: 0.16.1 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 e2bcfe573..33b70176d 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.16.0+dev +-- - Vehicle version: 0.16.1+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 ff62d3bec..926d50ccf 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 0.6715771228489404 x0 >= -0.32842287715105956 x0 >= 0.6 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 19ed0ee85..93057e0bf 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.6798577687061284 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 c1fed0861..04e6eb526 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.6798577687061284 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 6bf95ec02..b57e8fc82 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.6798577687061284 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 ceafa8176..ddf6aef3e 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.6798577687061284 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 6116cbbe1..c5fe98b89 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.16.0+dev +// - Vehicle version: 0.16.1+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 b1e1ba757..42aab75f7 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.16.0+dev +// - Vehicle version: 0.16.1+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 441553253..76b9cb4ac 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.16.0+dev +// - Vehicle version: 0.16.1+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 0535ab957..1a281125b 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y4 <= 0.0 x0 <= -0.3217850848807687 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 c6298d167..69db4eb2d 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y1 -y4 <= 0.0 x0 <= -0.3217850848807687 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 3559d7005..27e0b4468 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y4 <= 0.0 x0 <= -0.3217850848807687 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 cf84a2065..e0f5b1dbe 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y3 -y4 <= 0.0 x0 <= -0.3217850848807687 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 3784bd88b..d1329a527 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 ebd7c0bb7..36683412b 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 29930aed3..698094ddf 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 4ffd0fc7a..9da075bab 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 f3edf1d96..b0a0927bd 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 756aed107..e4b799398 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 461bd270e..97b5c574e 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 4acc43d9e..89e8b8267 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 x0 <= 0.6715771228489404 x0 <= 0.7004349247440301 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 2a9ff8042..c0eb0bbc9 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.16.0+dev +// - Vehicle version: 0.16.1+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 a742e0c22..228fe4da2 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.16.0+dev +// - Vehicle version: 0.16.1+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 7ba177687..c737b7f0a 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 -y0 +y1 <= 0.0 x0 <= 0.6715771228489404 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 3ed09b676..e24f8c7da 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 -y1 +y3 <= 0.0 x0 <= 0.6715771228489404 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 205de4fdd..e68682902 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 -y1 +y3 <= 0.0 x0 <= 0.6715771228489404 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 4f622cc56..54e886b28 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 -y1 +y3 <= 0.0 x0 <= 0.6715771228489404 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 176c50e54..cc2d10b36 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 -y1 +y4 <= 0.0 x0 <= 0.6715771228489404 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 9b68f2f05..ae41ebf13 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 -y1 +y4 <= 0.0 x0 <= 0.6715771228489404 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 bff60bd4b..ce07aadc2 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 -y1 +y4 <= 0.0 x0 <= 0.6715771228489404 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 9a872af30..241628390 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 -y1 +y4 <= 0.0 x0 <= 0.6715771228489404 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 90059fe60..68b03cd88 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 -y0 +y2 <= 0.0 x0 <= 0.6715771228489404 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 f4828203a..3e58b82c6 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 -y0 +y3 <= 0.0 x0 <= 0.6715771228489404 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 150e1a279..6fb6ef338 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 -y0 +y4 <= 0.0 x0 <= 0.6715771228489404 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 e3191ea3d..cbd98dae5 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 -y1 +y2 <= 0.0 x0 <= 0.6715771228489404 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 cd00cb84a..79654c3b8 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 -y1 +y2 <= 0.0 x0 <= 0.6715771228489404 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 279be2a6a..747ed13a0 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y3 <= 0.0 -y1 +y2 <= 0.0 x0 <= 0.6715771228489404 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 3027392ac..5c5c16284 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y4 <= 0.0 -y1 +y2 <= 0.0 x0 <= 0.6715771228489404 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 c4cf69dcd..a84d7c3fe 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 -y1 +y3 <= 0.0 x0 <= 0.6715771228489404 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 fa1db12a6..4085730e8 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y3 <= 0.0 x0 <= -0.21226151242096877 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 d5685d301..63a08729d 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y1 -y3 <= 0.0 x0 <= -0.21226151242096877 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 683ebb638..d6517607e 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y3 <= 0.0 x0 <= -0.21226151242096877 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 2e1e78cf3..0fa92efc6 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y3 +y4 <= 0.0 x0 <= -0.21226151242096877 x0 <= 0.6715771228489404 diff --git a/vehicle/tests/golden/compile/andGate/Agda.agda.golden b/vehicle/tests/golden/compile/andGate/Agda.agda.golden index 30cdbf443..d6119b096 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.16.0+dev +-- - Vehicle version: 0.16.1+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 7c0bc0bb0..6de40a76d 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 1.0 x0 >= 0.0 x0 >= 0.5 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 0609de64d..9aec53876 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 1.0 x0 >= 0.0 x0 >= 0.5 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 4e30f2fd8..fed7bddcc 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 0.5 x0 <= 1.0 x0 >= 0.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 5defc456a..6117c3940 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 0.5 x0 <= 1.0 x0 >= 0.0 diff --git a/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden b/vehicle/tests/golden/compile/autoencoderError/Agda.agda.golden index 412e65e55..d89763310 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.16.0+dev +-- - Vehicle version: 0.16.1+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 53e6972be..fd0c2a6c9 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.16.0+dev +// - Vehicle version: 0.16.1+dev -x0 +y2 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 a8e224f42..8723a7259 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x4 -y6 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 dd3a46305..63e84f35b 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x0 -y2 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 e28071d6a..ebc62a0d1 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.16.0+dev +// - Vehicle version: 0.16.1+dev -x1 +y3 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 ccf50ec70..868fa1e8d 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x1 -y3 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 d11af6de9..709cec11d 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.16.0+dev +// - Vehicle version: 0.16.1+dev -x2 +y4 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 5d76c0939..a5d6db330 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x2 -y4 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 20f617c37..7fb3174ff 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.16.0+dev +// - Vehicle version: 0.16.1+dev -x3 +y5 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 915cba969..b1ccc76c3 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x3 -y5 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 02c487000..8ac407012 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.16.0+dev +// - Vehicle version: 0.16.1+dev -x4 +y6 <= -0.1 +x5 -y0 = 0.0 +x6 -y1 = 0.0 \ 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 b70461c5d..7b465b321 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 1.0 x0 >= 0.0 y0 <= 0.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 4f616a692..841d0ad56 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 1.0 x0 >= 0.0 y0 >= 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 dab459b7f..c4510e7c2 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.16.0+dev +-- - Vehicle version: 0.16.1+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 79595699b..7e0d1b0bf 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.16.0+dev +// - Vehicle version: 0.16.1+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 ccf2525bb..f9ba55a2c 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.16.0+dev +// - Vehicle version: 0.16.1+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 f2ac2f49b..946b9c918 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.16.0+dev +// - Vehicle version: 0.16.1+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 7bff8681f..21c15a990 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.16.0+dev +// - Vehicle version: 0.16.1+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 8204b2123..0d5766cc6 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.16.0+dev +// - Vehicle version: 0.16.1+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 94b1fa935..19450e9c4 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.16.0+dev +// - Vehicle version: 0.16.1+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 3a6fea561..0b8ab5bd4 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.16.0+dev +// - Vehicle version: 0.16.1+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 9a20a05db..1ea223d23 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.16.0+dev +// - Vehicle version: 0.16.1+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 070c062b8..0a18d8abf 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.16.0+dev +// - Vehicle version: 0.16.1+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 1563dc811..6f24c2a9d 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.16.0+dev +// - Vehicle version: 0.16.1+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 366fafdbc..1c2380122 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.16.0+dev +// - Vehicle version: 0.16.1+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 e33fc5401..d9f5dca3f 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.16.0+dev +// - Vehicle version: 0.16.1+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 78b4679ca..11be30baa 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.16.0+dev +// - Vehicle version: 0.16.1+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 21c6ae9c7..e6cc6fcbe 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.16.0+dev +// - Vehicle version: 0.16.1+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 64cad96f6..92a8f0e8e 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.16.0+dev +// - Vehicle version: 0.16.1+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 582c09e9d..a34dc3ebe 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.16.0+dev +// - Vehicle version: 0.16.1+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 7e1c7d1f1..7fa6ef419 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.16.0+dev +// - Vehicle version: 0.16.1+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 90258883c..159184fd6 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.16.0+dev +// - Vehicle version: 0.16.1+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 ed66ad785..b83bb7008 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.16.0+dev +// - Vehicle version: 0.16.1+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 f5ac63108..80eedae4f 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.16.0+dev +// - Vehicle version: 0.16.1+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 369fab312..f57479ba1 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.16.0+dev +// - Vehicle version: 0.16.1+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 b0a9e977a..4dde036a3 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.16.0+dev +// - Vehicle version: 0.16.1+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 55842d4b6..bb838f881 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.16.0+dev +// - Vehicle version: 0.16.1+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 6db6cc9a6..7ed9f2952 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/hyperRectangle/Marabou.queries/property-query1.txt.golden b/vehicle/tests/golden/compile/hyperRectangle/Marabou.queries/property-query1.txt.golden index 55f5e84b4..89bf0531b 100644 --- a/vehicle/tests/golden/compile/hyperRectangle/Marabou.queries/property-query1.txt.golden +++ b/vehicle/tests/golden/compile/hyperRectangle/Marabou.queries/property-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 x0 <= 1.0 x0 >= 0.0 diff --git a/vehicle/tests/golden/compile/increasing/Agda.agda.golden b/vehicle/tests/golden/compile/increasing/Agda.agda.golden index 6c21d0ca1..43676eda2 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.16.0+dev +-- - Vehicle version: 0.16.1+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 a31404953..47ec8a3f0 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.16.0+dev +// - Vehicle version: 0.16.1+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 82c402eed..a9a67ae38 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.16.0+dev +// - Vehicle version: 0.16.1+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 82c402eed..a9a67ae38 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.16.0+dev +// - Vehicle version: 0.16.1+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 4bb81febc..ea0584140 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 x0 <= 1.0 x0 <= 1.05 diff --git a/vehicle/tests/golden/compile/issue712/Marabou.queries/isMalicious-query1.txt.golden b/vehicle/tests/golden/compile/issue712/Marabou.queries/isMalicious-query1.txt.golden index b6710208d..6e1ee42cc 100644 --- a/vehicle/tests/golden/compile/issue712/Marabou.queries/isMalicious-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue712/Marabou.queries/isMalicious-query1.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev x0 = 0.0 y0 >= 0.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue750/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue750/Marabou.queries/p-query1.txt.golden index 2bc62e554..3df2a0565 100644 --- a/vehicle/tests/golden/compile/issue750/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue750/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.16.0+dev +// - Vehicle version: 0.16.1+dev +x0 -x1 = 0.0 +y0 -y1 <= 0.0 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/issue765/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue765/Marabou.queries/p-query1.txt.golden index 58e17e69e..43838dc04 100644 --- a/vehicle/tests/golden/compile/issue765/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue765/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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 = 0.0 x1 = 0.0 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue86/Marabou.queries/p1-query1.txt.golden b/vehicle/tests/golden/compile/issue86/Marabou.queries/p1-query1.txt.golden index aa046b137..69cffab41 100644 --- a/vehicle/tests/golden/compile/issue86/Marabou.queries/p1-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue86/Marabou.queries/p1-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query1.txt.golden b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query1.txt.golden index f473c05df..c3cd78e9c 100644 --- a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query1.txt.golden +++ b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query1.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev -x0 +x1 = 0.0 y0 <= 0.0 y1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query2.txt.golden b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query2.txt.golden index 66972ce03..b8ff69f92 100644 --- a/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query2.txt.golden +++ b/vehicle/tests/golden/compile/issue86/Marabou.queries/p3-query2.txt.golden @@ -2,7 +2,7 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev x0 = 0.0 y0 <= 0.0 y1 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden b/vehicle/tests/golden/compile/mnist-robustness/Agda.agda.golden index 7a36acbf1..e3fbb95f8 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.16.0+dev +-- - Vehicle version: 0.16.1+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 ab8b9c2c5..b30d3c74b 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 5c7c0d95a..284975f30 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y1 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 7ab369add..cf4d6d765 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y2 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 03ebf043a..e3f0947ec 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y3 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 12739380e..8a8b3c159 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y4 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 1decf53b3..323b8adf5 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y5 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 75bc857b7..081f4c281 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y6 +y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 0c56c9cde..f325a13f7 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y7 -y8 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 8e1af8f5a..b82025e36 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y7 -y9 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 19f429f77..75bc48a58 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y2 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 8430c3a8b..8e5d70b21 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.16.0+dev +// - Vehicle version: 0.16.1+dev -y1 +y2 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 c1b7601a9..65c0def13 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y3 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 0d1ca8c7f..a4e79110b 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y4 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 b9db03cb4..3a92cfb9d 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y5 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 5b8617233..533a8bc7a 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y6 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 546c74c34..cffcf0cde 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y7 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 8c170d64e..c039bc50a 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y8 <= 0.0 x0 <= 0.1 x0 <= 1.0 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 2e984f731..815e13def 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.16.0+dev +// - Vehicle version: 0.16.1+dev +y2 -y9 <= 0.0 x0 <= 0.1 x0 <= 1.0 diff --git a/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden b/vehicle/tests/golden/compile/monotonicity/Agda.agda.golden index de7351cd1..a1877c683 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.16.0+dev +-- - Vehicle version: 0.16.1+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 e1d9a0212..145e08c49 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.16.0+dev +// - Vehicle version: 0.16.1+dev +x0 -x1 <= 0.0 -y0 +y1 <= 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 aa046b137..69cffab41 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.16.0+dev +// - Vehicle version: 0.16.1+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 01fa354d7..a3d4360fb 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.16.0+dev +-- - Vehicle version: 0.16.1+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 7bf2cd4c9..7768d0783 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.16.0+dev +// - Vehicle version: 0.16.1+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 e06d23398..f58b0b7c0 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.16.0+dev +-- - Vehicle version: 0.16.1+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 7a018cd5e..e0a44d18a 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.16.0+dev +// - Vehicle version: 0.16.1+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 639fc0909..b0ceb4ff4 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.16.0+dev +-- - Vehicle version: 0.16.1+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 5b5aa6104..36690850c 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.16.0+dev +// - Vehicle version: 0.16.1+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 c56a94d9c..b8f5ce14d 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.16.0+dev +// - Vehicle version: 0.16.1+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 58e17e69e..43838dc04 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.16.0+dev +// - Vehicle version: 0.16.1+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 b09ef5b4e..532d87ffb 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 = 0.0 x1 = 0.0 y1 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/safe-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/safe-query1.txt.golden index aa046b137..69cffab41 100644 --- a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/safe-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/safe-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev y0 <= 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 1b37d0006..1007c56ca 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 3.0 y0 >= 0.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 1b37d0006..1007c56ca 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 3.0 y0 >= 0.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 40c46e937..553fd89b8 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,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev y0 >= 2.0 \ 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 d1488dfcb..d73ac0d36 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.16.0+dev +// - Vehicle version: 0.16.1+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 6cb71f0e7..1bfeaf97a 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 2.0 y0 = 0.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 ef2c6a6b7..e235970ee 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.16.0+dev +// - Vehicle version: 0.16.1+dev -2.0x0 +x1 <= -1.0 3.0x0 -2.0x1 <= 0.0 y0 = 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 e0b9ee762..8c971e74d 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.16.0+dev +-- - Vehicle version: 0.16.1+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 68913d77d..a46a2aaf0 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.16.0+dev +-- - Vehicle version: 0.16.1+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 bf029bc9a..7a1e7a854 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 0.0 y0 <= 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 4c0c67ad1..e668b126d 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 0.0 y0 >= 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 540f748b8..b82faea7c 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 0.0 y0 >= 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 53040c2c9..b8ba9ed67 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.16.0+dev +// - Vehicle version: 0.16.1+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 540f748b8..b82faea7c 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 >= 0.0 y0 >= 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 1cb63d483..407b9b041 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 <= 0.0 y0 <= 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 e0b9ee762..8c971e74d 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.16.0+dev +-- - Vehicle version: 0.16.1+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 ccdb95f37..961180562 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.16.0+dev +// - Vehicle version: 0.16.1+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 cf44b4950..285977039 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.16.0+dev +// - Vehicle version: 0.16.1+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 348953881..b9866a213 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.16.0+dev +// - Vehicle version: 0.16.1+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 1cc545b30..3556a1fb6 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.16.0+dev +// - Vehicle version: 0.16.1+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 70590ca3a..38336beab 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.16.0+dev +-- - Vehicle version: 0.16.1+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query1.txt.golden index 2835cd897..0985b902c 100644 --- a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/compile/simple-minmax/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.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query2.txt.golden b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query2.txt.golden index 247ed37ff..5b34021b8 100644 --- a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query2.txt.golden +++ b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query2.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 y1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query3.txt.golden b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query3.txt.golden index 2310114b7..af4da639c 100644 --- a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query3.txt.golden +++ b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query3.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev -y0 +y1 <= 0.0 y0 >= 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query4.txt.golden b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query4.txt.golden index 545f16aa5..32d2d0b8f 100644 --- a/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query4.txt.golden +++ b/vehicle/tests/golden/compile/simple-minmax/Marabou.queries/p-query4.txt.golden @@ -2,6 +2,6 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev +y0 -y1 <= 0.0 y1 >= 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden index 855cf177a..353d5c771 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.16.0+dev +-- - Vehicle version: 0.16.1+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 aa046b137..69cffab41 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.16.0+dev +// - Vehicle version: 0.16.1+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 8279f7da1..7ebae0d8c 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.16.0+dev +-- - Vehicle version: 0.16.1+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 1bfd8b6e8..0b735655c 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.16.0+dev +// - Vehicle version: 0.16.1+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 aa046b137..69cffab41 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.16.0+dev +// - Vehicle version: 0.16.1+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 5f083c5f3..0cc55139f 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.16.0+dev +// - Vehicle version: 0.16.1+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 f4943b06c..c083390e8 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.16.0+dev +// - Vehicle version: 0.16.1+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 1292173a3..c44ca0c2f 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.16.0+dev +-- - Vehicle version: 0.16.1+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 fad9a9eaa..b76032c82 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.16.0+dev +// - Vehicle version: 0.16.1+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 6d05ade7b..b25ca498d 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.16.0+dev +-- - Vehicle version: 0.16.1+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 d930dce63..e2293e780 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.16.0+dev +// - Vehicle version: 0.16.1+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 fa9705e07..0ead51427 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.16.0+dev +// - Vehicle version: 0.16.1+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 e170d321d..51c59c11b 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.16.0+dev +// - Vehicle version: 0.16.1+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 cd30273f4..de056a9aa 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.16.0+dev +// - Vehicle version: 0.16.1+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-untypedDecls/Agda.agda.golden index e0b9ee762..8c971e74d 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.16.0+dev +-- - Vehicle version: 0.16.1+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 cbbf55378..7a32221a5 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.16.0+dev +-- - Vehicle version: 0.16.1+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 50534d891..ab301cb9a 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.16.0+dev +// - Vehicle version: 0.16.1+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 77ba86f3c..817a53ce1 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.16.0+dev +-- - Vehicle version: 0.16.1+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 ef83ba2e8..e386692ae 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.16.0+dev +// - Vehicle version: 0.16.1+dev 16.0x0 -8.0x1 +y0 <= 2.75 x0 <= 0.90625 x0 >= 0.09375 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 cc3d8a67e..8a06a81ea 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.16.0+dev +// - Vehicle version: 0.16.1+dev -16.0x0 8.0x1 -y0 <= -5.25 x0 <= 0.90625 x0 >= 0.09375 diff --git a/vehicle/tests/golden/warning/no-warnings/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/warning/no-warnings/Marabou.queries/p-query1.txt.golden index d1488dfcb..d73ac0d36 100644 --- a/vehicle/tests/golden/warning/no-warnings/Marabou.queries/p-query1.txt.golden +++ b/vehicle/tests/golden/warning/no-warnings/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.16.0+dev +// - Vehicle version: 0.16.1+dev y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/warning/trivial/Marabou.queries/multiProperty!1!0-query1.txt.golden b/vehicle/tests/golden/warning/trivial/Marabou.queries/multiProperty!1!0-query1.txt.golden index aa046b137..69cffab41 100644 --- a/vehicle/tests/golden/warning/trivial/Marabou.queries/multiProperty!1!0-query1.txt.golden +++ b/vehicle/tests/golden/warning/trivial/Marabou.queries/multiProperty!1!0-query1.txt.golden @@ -2,5 +2,5 @@ // and should not be modified manually! // Metadata: // - Marabou query format version: unknown -// - Vehicle version: 0.16.0+dev +// - Vehicle version: 0.16.1+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/vehicle.cabal b/vehicle/vehicle.cabal index 6cb14617b..80963ea7c 100644 --- a/vehicle/vehicle.cabal +++ b/vehicle/vehicle.cabal @@ -1,6 +1,6 @@ cabal-version: 3.4 name: vehicle -version: 0.16.0 +version: 0.16.1 description: Please see the README on GitHub at