From b3366bae5a333b97de6051abfbcc8e53f846b7e0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 19 May 2020 13:52:44 -0700 Subject: [PATCH] remove test-examples from MacOS build, re-add maxsat example Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 2 +- scripts/test-examples-cmake.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index e3afa4ef7..57c71364a 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -249,6 +249,6 @@ jobs: ninja test-z3 cd .. - template: scripts/test-z3.yml - - template: scripts/test-examples-cmake.yml +# - template: scripts/test-examples-cmake.yml - template: scripts/test-regressions.yml # - template: scripts/test-java-cmake.yml diff --git a/scripts/test-examples-cmake.yml b/scripts/test-examples-cmake.yml index f47e4c7e8..e5b36bacd 100644 --- a/scripts/test-examples-cmake.yml +++ b/scripts/test-examples-cmake.yml @@ -9,7 +9,7 @@ steps: examples/c_example_build_dir/c_example examples/cpp_example_build_dir/cpp_example examples/tptp_build_dir/z3_tptp5 -help - echo examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt + examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt cd ..