remove test-examples from MacOS build, re-add maxsat example

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

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

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 ..