From 9765a6d0d3aafd5f4ac2ecc2a4aeea35a0a65690 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 21 Mar 2018 09:23:01 -0700
Subject: [PATCH] updated script

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/vsts-mac.sh | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/scripts/vsts-mac.sh b/scripts/vsts-mac.sh
index 522559b7c..545f6e4f1 100644
--- a/scripts/vsts-mac.sh
+++ b/scripts/vsts-mac.sh
@@ -8,10 +8,11 @@ make
 make test-z3
 make cpp_example
 make c_example
-make java_example
-make python_example
+# make java_example
+# make python_example
 ./cpp_example
-./c_example
-
+./test_capi
 
+git clone https://github.com/z3prover/z3test.git z3test
+python z3test/scripts/test_benchmarks.py z3 z3test/regressions/smt2