diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index ceefae182..ab572bba6 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.11.1`. + This should print `0.13.0`. ### 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.11.1-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.13.0-cp311-cp311-macosx_13_0_arm64`: ```sh # Supported # Python _____ # versions \ # vvvvvvvvvvv -vehicle_lang-0.11.1-cp311-cp311-macosx_13_0_arm64 +vehicle_lang-0.13.0-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.11.1`. + This should print `0.13.0`. 1. Check if your installation of the `vehicle_lang` package was successful. @@ -920,11 +920,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.11.1-cp310-cp310-macosx_13_0_arm64.whl - vehicle_lang-0.11.1-cp37-cp37m-macosx_13_0_arm64.whl - vehicle_lang-0.11.1-cp39-cp39-macosx_13_0_arm64.whl - vehicle_lang-0.11.1-cp311-cp311-macosx_13_0_arm64.whl - vehicle_lang-0.11.1-cp38-cp38-macosx_13_0_arm64.whl + vehicle_lang-0.13.0-cp310-cp310-macosx_13_0_arm64.whl + vehicle_lang-0.13.0-cp37-cp37m-macosx_13_0_arm64.whl + vehicle_lang-0.13.0-cp39-cp39-macosx_13_0_arm64.whl + vehicle_lang-0.13.0-cp311-cp311-macosx_13_0_arm64.whl + vehicle_lang-0.13.0-cp38-cp38-macosx_13_0_arm64.whl ``` Run the following command to check each wheel's metadata: @@ -945,7 +945,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 3eddaff99..d467c724f 100644 --- a/bumpver.toml +++ b/bumpver.toml @@ -1,5 +1,5 @@ [bumpver] -current_version = "v0.11.1" +current_version = "v0.13.0" version_pattern = "vMAJOR.MINOR.PATCH" commit_message = "Bump version {old_version} -> {new_version}" commit = true diff --git a/vehicle-python/src/vehicle_lang/_version.py b/vehicle-python/src/vehicle_lang/_version.py index 7d1d9658a..2f2ef19b2 100644 --- a/vehicle-python/src/vehicle_lang/_version.py +++ b/vehicle-python/src/vehicle_lang/_version.py @@ -1 +1 @@ -VERSION: str = "0.11.1" +VERSION: str = "0.13.0" diff --git a/vehicle-python/vehicle-python-binding.cabal b/vehicle-python/vehicle-python-binding.cabal index ecb150613..6b0b2bc25 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.11.1 +version: 0.13.0 description: Please see the README on GitHub at diff --git a/vehicle-syntax/vehicle-syntax.cabal b/vehicle-syntax/vehicle-syntax.cabal index 7d1f2a1d1..6dbc08b22 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.11.1 +version: 0.13.0 description: Please see the README on GitHub at diff --git a/vehicle/tests/golden/compile/acasXu/Agda.agda.golden b/vehicle/tests/golden/compile/acasXu/Agda.agda.golden index 1dee93e23..dcb6b2bbd 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property1-query1.txt.golden index 83a0ce970..d8c684b81 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.11.1+dev +// - Vehicle version: 0.13.0+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 8c98a6c19..33517f75b 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.11.1+dev +// - Vehicle version: 0.13.0+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 1f5b3d111..ceca749da 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.11.1+dev +// - Vehicle version: 0.13.0+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 641a1f2a9..719f15b07 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.11.1+dev +// - Vehicle version: 0.13.0+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 9cf743aa3..372f22b5a 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.11.1+dev +// - Vehicle version: 0.13.0+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 6d47640de..750c6da64 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.11.1+dev +// - Vehicle version: 0.13.0+dev -y0 +y1 <= 0.0 -y0 +y2 <= 0.0 -y0 +y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property3-query1.txt.golden index 47139eae7..0280c8f8d 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.11.1+dev +// - Vehicle version: 0.13.0+dev +y0 -y1 <= 0.0 +y0 -y2 <= 0.0 +y0 -y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property4-query1.txt.golden index 266a74471..5190ba149 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.11.1+dev +// - Vehicle version: 0.13.0+dev +y0 -y1 <= 0.0 +y0 -y2 <= 0.0 +y0 -y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property5-query1.txt.golden index b9529812c..08dc38eb9 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.11.1+dev +// - Vehicle version: 0.13.0+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 cf0836f5a..76210e6b4 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.11.1+dev +// - Vehicle version: 0.13.0+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 20d830079..243714b57 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.11.1+dev +// - Vehicle version: 0.13.0+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 da0d1f47e..34e5af284 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.11.1+dev +// - Vehicle version: 0.13.0+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 74a954131..983d84e1a 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.11.1+dev +// - Vehicle version: 0.13.0+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 6d7d91864..e09fc384e 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.11.1+dev +// - Vehicle version: 0.13.0+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 068934d2c..9237e309d 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.11.1+dev +// - Vehicle version: 0.13.0+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 1a1f306f2..113b59c97 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.11.1+dev +// - Vehicle version: 0.13.0+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 6c7bf9e1a..5f5ac13a0 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.11.1+dev +// - Vehicle version: 0.13.0+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 8d1b7e874..5b7499ee1 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.11.1+dev +// - Vehicle version: 0.13.0+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 8d0528a78..250988da1 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.11.1+dev +// - Vehicle version: 0.13.0+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 dc62d5370..4c25e274f 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.11.1+dev +// - Vehicle version: 0.13.0+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 6bcf87bc2..7f9c4ba26 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.11.1+dev +// - Vehicle version: 0.13.0+dev -y0 +y3 <= 0.0 -y1 +y3 <= 0.0 -y2 +y3 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property7-query2.txt.golden index b8889870d..ccf8c3cc2 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.11.1+dev +// - Vehicle version: 0.13.0+dev -y0 +y4 <= 0.0 -y1 +y4 <= 0.0 -y2 +y4 <= 0.0 diff --git a/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden b/vehicle/tests/golden/compile/acasXu/Marabou.queries/property8-query1.txt.golden index 9635057b9..1d21590d4 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.11.1+dev +// - Vehicle version: 0.13.0+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 f97aed189..bb4bbef8c 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.11.1+dev +// - Vehicle version: 0.13.0+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 7e0de0be6..626c4c328 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.11.1+dev +// - Vehicle version: 0.13.0+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 f74a9bf17..12187dc4d 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.11.1+dev +// - Vehicle version: 0.13.0+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 92fe6517d..fa207addd 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.11.1+dev +// - Vehicle version: 0.13.0+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 83314e889..e0da00c0d 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.11.1+dev +// - Vehicle version: 0.13.0+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 254706f17..4275c4b65 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.11.1+dev +// - Vehicle version: 0.13.0+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 2f62c295d..5136cd7ae 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.11.1+dev +// - Vehicle version: 0.13.0+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 fa56ba75c..436483461 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.11.1+dev +// - Vehicle version: 0.13.0+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 58408f697..fd13af81c 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.11.1+dev +// - Vehicle version: 0.13.0+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 6b00e492f..6b30c5376 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.11.1+dev +// - Vehicle version: 0.13.0+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 b4100f5d6..793c956c7 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.11.1+dev +// - Vehicle version: 0.13.0+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 f8b312480..30fe65cd3 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.11.1+dev +// - Vehicle version: 0.13.0+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 50f3e8dfc..6da5665e0 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.11.1+dev +// - Vehicle version: 0.13.0+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 410ce98ba..1c25a39fc 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.11.1+dev +// - Vehicle version: 0.13.0+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 3885aa65b..8ecd5794d 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.11.1+dev +// - Vehicle version: 0.13.0+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 557a603f5..d85dbc560 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.11.1+dev +// - Vehicle version: 0.13.0+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 cc0ffdede..1230b834f 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.11.1+dev +// - Vehicle version: 0.13.0+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 240cf666c..9d6c41876 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.11.1+dev +// - Vehicle version: 0.13.0+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 fdd4647aa..b2c7329c5 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.11.1+dev +// - Vehicle version: 0.13.0+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 d5f01e7d5..4ab183913 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden b/vehicle/tests/golden/compile/andGate/Marabou.queries/andGateCorrect-query1.txt.golden index 459fbf8d1..fbf7524df 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.11.1+dev +// - Vehicle version: 0.13.0+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 17ecc8b8f..4079fd936 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.11.1+dev +// - Vehicle version: 0.13.0+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 3f8c591bb..5f7155b01 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.11.1+dev +// - Vehicle version: 0.13.0+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 9053331c2..b5fb35f88 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.11.1+dev +// - Vehicle version: 0.13.0+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 4b72d7b2a..6466d6ffc 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query1.txt.golden index fa04db95c..43b501ad1 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x0 +y2 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query10.txt.golden index 8aa75c1f5..f66ed1f16 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x4 -y6 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query2.txt.golden index 7347c511a..128b4c7df 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x0 -y2 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query3.txt.golden index b312286b4..a84f57ec2 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x1 +y3 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query4.txt.golden index 4c4756265..9896fd0b6 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x1 -y3 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query5.txt.golden index 552285992..ea7462ed4 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x2 +y4 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query6.txt.golden index 25a8a04eb..d6d8cc5d8 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x2 -y4 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query7.txt.golden index cc4ebedb6..40cb48019 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x3 +y5 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query8.txt.golden index 018802f2f..1f99e84b6 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 +x3 -y5 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden b/vehicle/tests/golden/compile/autoencoderError/Marabou.queries/identity-query9.txt.golden index ccca810a8..00d14ee33 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x5 -y0 = 0.0 +x6 -y1 = 0.0 -x4 +y6 <= -0.1 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden b/vehicle/tests/golden/compile/bounded/Marabou.queries/bounded-query1.txt.golden index 1281eefe5..a962ce1b9 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.11.1+dev +// - Vehicle version: 0.13.0+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 193b59494..2a0cdf215 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.11.1+dev +// - Vehicle version: 0.13.0+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 0ca672282..0ec7f3f7b 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query1.txt.golden index 3f799ca37..bd7a7f514 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query10.txt.golden index 0086fc77e..734ef038c 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query11.txt.golden index fc53217a3..6ffc89cfb 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query12.txt.golden index 99361677f..26184d401 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query13.txt.golden index 2972a853f..0a5509c52 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query14.txt.golden index 92614ef8f..f06bc8060 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query15.txt.golden index 097a0b8e6..956977f3f 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query16.txt.golden index 1206d3aa5..8f015a1d5 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query17.txt.golden index 4bc497e25..38380dcd4 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query18.txt.golden index 06e44b77b..f8800d3cd 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query19.txt.golden index e745a3506..0237912e2 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query2.txt.golden index e4532ba06..c7d5c4b2c 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query20.txt.golden index 37a297007..f82c2245a 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query21.txt.golden index 7841a85d4..b4d774355 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query22.txt.golden index 04d15425f..db1ec87c2 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query23.txt.golden index 813f41331..2342e11aa 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query24.txt.golden index 35a5b776c..60fe25f7d 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query3.txt.golden index 3c412afe8..d73ee541e 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query4.txt.golden index 37846bd3d..7457c2add 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query5.txt.golden index 54090cafc..e56da9d4e 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query6.txt.golden index 94f537273..811b0aa65 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query7.txt.golden index 32744214b..e05337c41 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query8.txt.golden index 4a60167f3..5de3d5b89 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden b/vehicle/tests/golden/compile/dogsHierarchy/Marabou.queries/doesNotConfuseBigAndSmall-query9.txt.golden index d7b9fd3b5..c209df7aa 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 >= 0.0 x0 <= 1.0 x1 >= 0.0 diff --git a/vehicle/tests/golden/compile/increasing/Agda.agda.golden b/vehicle/tests/golden/compile/increasing/Agda.agda.golden index e39ef09cf..3c3e32dfb 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden b/vehicle/tests/golden/compile/increasing/Marabou.queries/increasing-query1.txt.golden index 4a545dbeb..1a768ded5 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.11.1+dev +// - Vehicle version: 0.13.0+dev -x0 +y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue551/Marabou.queries/p-query1.txt.golden index 5cb34e50f..e02418168 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 >= 0.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/issue615/Marabou.queries/p-query1.txt.golden index 5cb34e50f..e02418168 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 >= 0.5 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden b/vehicle/tests/golden/compile/issue649/Marabou.queries/robust-query1.txt.golden index 3b85d993b..ab84a27b0 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.11.1+dev +// - Vehicle version: 0.13.0+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 55042709e..b9f3f492a 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.11.1+dev +// - Vehicle version: 0.13.0+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 5f8e5234d..1c9c5535d 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.11.1+dev +// - Vehicle version: 0.13.0+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 aa22a6c95..12321bd57 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.11.1+dev +// - Vehicle version: 0.13.0+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 96e77a763..3f0c6e2ca 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.11.1+dev +// - Vehicle version: 0.13.0+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 71b044640..7149fa86d 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.11.1+dev +// - Vehicle version: 0.13.0+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 4283a5ec1..304478034 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.11.1+dev +// - Vehicle version: 0.13.0+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 b78db6a6e..cbcff810f 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden b/vehicle/tests/golden/compile/mnist-robustness/Marabou.queries/robust!0-query1.txt.golden index 872298671..bba2ad29f 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.11.1+dev +// - Vehicle version: 0.13.0+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 305d2c2c4..912bab3f9 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.11.1+dev +// - Vehicle version: 0.13.0+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 4675f36bf..4918f2576 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.11.1+dev +// - Vehicle version: 0.13.0+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 5b2b306f0..94101b915 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.11.1+dev +// - Vehicle version: 0.13.0+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 9293355bc..444c9be93 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.11.1+dev +// - Vehicle version: 0.13.0+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 30eac07c4..73bac7162 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.11.1+dev +// - Vehicle version: 0.13.0+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 9a3df1b07..23cec9f18 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.11.1+dev +// - Vehicle version: 0.13.0+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 fb400d060..4a186faff 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.11.1+dev +// - Vehicle version: 0.13.0+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 c96dcef8b..5b144be9e 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.11.1+dev +// - Vehicle version: 0.13.0+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 ab8fc75d5..56ad1729b 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.11.1+dev +// - Vehicle version: 0.13.0+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 0d7021a39..f64779eb6 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.11.1+dev +// - Vehicle version: 0.13.0+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 e3fb1900d..91106b5d5 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.11.1+dev +// - Vehicle version: 0.13.0+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 9c26c4f6a..79622a3f6 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.11.1+dev +// - Vehicle version: 0.13.0+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 d02dfd594..dee4e7338 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.11.1+dev +// - Vehicle version: 0.13.0+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 3a3a225e9..6089dd1e8 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.11.1+dev +// - Vehicle version: 0.13.0+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 1ce00b92b..3240fb24a 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.11.1+dev +// - Vehicle version: 0.13.0+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 fd82d5722..1421547e8 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.11.1+dev +// - Vehicle version: 0.13.0+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 be0395c59..721397202 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.11.1+dev +// - Vehicle version: 0.13.0+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 06e27e95d..84c7ccecb 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden b/vehicle/tests/golden/compile/monotonicity/Marabou.queries/monotonic-query1.txt.golden index b1c6990c0..8f7ba0fe6 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.11.1+dev +// - Vehicle version: 0.13.0+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 96e77a763..3f0c6e2ca 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/reachability/Agda.agda.golden b/vehicle/tests/golden/compile/reachability/Agda.agda.golden index 719bed6b2..c8a9b75cf 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden b/vehicle/tests/golden/compile/reachability/Marabou.queries/reachable-query1.txt.golden index 2f45abd1b..30bf30407 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 = 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden b/vehicle/tests/golden/compile/simple-arithmetic/Agda.agda.golden index d8a42ecfb..b1479c227 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden b/vehicle/tests/golden/compile/simple-arithmetic/Marabou.queries/property-query1.txt.golden index 0bf1d3c4e..65e565c31 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.5 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden b/vehicle/tests/golden/compile/simple-constantInput/Agda.agda.golden index ff788ac1a..6accb89d3 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantInput/Marabou.queries/spec-query1.txt.golden index 6d0eff3c8..ccaf1e8b1 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.11.1+dev +// - Vehicle version: 0.13.0+dev x1 = 0.0 y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-constantNetworkInput/Marabou.queries/p-query1.txt.golden index 9b0491809..da0f90366 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 y0 = 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!0-query1.txt.golden index aa22a6c95..12321bd57 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 x1 = 0.0 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden b/vehicle/tests/golden/compile/simple-foreach/Marabou.queries/index!1-query1.txt.golden index 4e4424ad2..f5a7bf1f0 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 x1 = 0.0 y1 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden b/vehicle/tests/golden/compile/simple-fourierMotzkin/Marabou.queries/underConstrainedVar1-query1.txt.golden index 940499f8c..68d85d4cb 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.11.1+dev +// - Vehicle version: 0.13.0+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 940499f8c..68d85d4cb 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.11.1+dev +// - Vehicle version: 0.13.0+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 9ddbf64da..6b83c6cba 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.11.1+dev +// - Vehicle version: 0.13.0+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 e7a83fb93..071c0da28 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden b/vehicle/tests/golden/compile/simple-gaussianElim/Marabou.queries/test1-query1.txt.golden index c7d6293ac..a131ca6d1 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.11.1+dev +// - Vehicle version: 0.13.0+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 1d71bb3ac..52009415d 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.11.1+dev +// - Vehicle version: 0.13.0+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 500a978f9..4b4bd8f7a 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-if/Agda.agda.golden b/vehicle/tests/golden/compile/simple-if/Agda.agda.golden index 113fc05e5..93a56b392 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop1-query1.txt.golden index 1593b4c99..76ef0acde 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.11.1+dev +// - Vehicle version: 0.13.0+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 a34dde40a..1e7e05591 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.11.1+dev +// - Vehicle version: 0.13.0+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 68b18a2ac..5b46fd4b3 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.11.1+dev +// - Vehicle version: 0.13.0+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 6fc87fcf9..4b55aa574 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.2 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden b/vehicle/tests/golden/compile/simple-if/Marabou.queries/prop3-query1.txt.golden index 68b18a2ac..5b46fd4b3 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.11.1+dev +// - Vehicle version: 0.13.0+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 876ebae39..66ada7410 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.11.1+dev +// - Vehicle version: 0.13.0+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 500a978f9..4b4bd8f7a 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query1.txt.golden index e0d92a5f5..b511bc887 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.10000000149011612 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query2.txt.golden index 0499a1cf3..4c398beaa 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 3.0 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query3.txt.golden index ca0572c7c..3f86e52f1 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = -2.0 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden b/vehicle/tests/golden/compile/simple-inferableParam/Marabou.queries/positive-query4.txt.golden index 8c6621767..fc6d00a05 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = -3.200000047683716 y0 <= 0.0 diff --git a/vehicle/tests/golden/compile/simple-let/Agda.agda.golden b/vehicle/tests/golden/compile/simple-let/Agda.agda.golden index a8a802af9..a99b647ac 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Agda.agda.golden index 513597ddc..b646e0b61 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden b/vehicle/tests/golden/compile/simple-pruneDecls/Marabou.queries/p2-query1.txt.golden index 96e77a763..3f0c6e2ca 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifier/Agda.agda.golden index 5610110f5..2b3262348 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/expandedExpr-query1.txt.golden index 822eb0eed..a9cddc5f8 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.11.1+dev +// - Vehicle version: 0.13.0+dev +x0 -y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query1.txt.golden index 96e77a763..3f0c6e2ca 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/parallel-query2.txt.golden index 9bc9d7ead..5a29a6e12 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 >= 5.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifier/Marabou.queries/sequential-query1.txt.golden index 6722508e0..f4353359a 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.11.1+dev +// - Vehicle version: 0.13.0+dev +y0 -y1 <= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden b/vehicle/tests/golden/compile/simple-quantifierIn/Agda.agda.golden index 9499d47be..be0fde75a 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden b/vehicle/tests/golden/compile/simple-quantifierIn/Marabou.queries/forallInForall-query1.txt.golden index f922b347c..ee95e8268 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.5 x1 = 1.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden b/vehicle/tests/golden/compile/simple-tensor/Agda.agda.golden index 47db7d4be..91b258594 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query1.txt.golden index bc91f8780..1e5124589 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query2.txt.golden index 65c29b239..8fe6a1ef9 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query3.txt.golden index b40f604de..6a7978726 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 x1 = 0.0 x2 = 0.0 diff --git a/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden b/vehicle/tests/golden/compile/simple-tensor/Marabou.queries/p-query4.txt.golden index b2adbf92c..c384c3241 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.11.1+dev +// - Vehicle version: 0.13.0+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 500a978f9..4b4bd8f7a 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden b/vehicle/tests/golden/compile/simple-vector/Agda.agda.golden index 1bc62847b..62df27088 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden b/vehicle/tests/golden/compile/simple-vector/Marabou.queries/p-query1.txt.golden index 2a169716d..026e8f7b6 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.11.1+dev +// - Vehicle version: 0.13.0+dev x0 = 0.0 y0 >= 0.0 \ No newline at end of file diff --git a/vehicle/tests/golden/compile/windController/Agda.agda.golden b/vehicle/tests/golden/compile/windController/Agda.agda.golden index cbc196992..82c11fb82 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.11.1+dev +-- - Vehicle version: 0.13.0+dev {-# OPTIONS --allow-exec #-} diff --git a/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden b/vehicle/tests/golden/compile/windController/Marabou.queries/safe-query1.txt.golden index 8f4c6adcc..2d0501bd8 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.11.1+dev +// - Vehicle version: 0.13.0+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 d28693124..46b0cda6b 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.11.1+dev +// - Vehicle version: 0.13.0+dev -16.0x0 8.0x1 -y0 <= -5.25 x0 <= 0.90625 x0 >= 0.09375 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 96e77a763..3f0c6e2ca 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.11.1+dev +// - Vehicle version: 0.13.0+dev y0 <= 0.0 \ No newline at end of file diff --git a/vehicle/vehicle.cabal b/vehicle/vehicle.cabal index 05ab04f7c..d6848f4bf 100644 --- a/vehicle/vehicle.cabal +++ b/vehicle/vehicle.cabal @@ -1,6 +1,6 @@ cabal-version: 3.4 name: vehicle -version: 0.11.1 +version: 0.13.0 description: Please see the README on GitHub at