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