From 12f147403c98a802ec0edf6f66ea389e3619c0a3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Mar 2018 14:13:27 -0700 Subject: [PATCH] update script Signed-off-by: Nikolaj Bjorner --- scripts/vsts-mac.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/vsts-mac.sh b/scripts/vsts-mac.sh index 3a5a86b47..6c588a1e3 100644 --- a/scripts/vsts-mac.sh +++ b/scripts/vsts-mac.sh @@ -14,5 +14,6 @@ make c_example ./test_capi git clone https://github.com/z3prover/z3test.git z3test -python z3test/scripts/test_benchmarks.py ./z3.bin ./z3test/regressions/smt2 +ls +python z3test/scripts/test_benchmarks.py ./z3.exe ./z3test/regressions/smt2