mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

updated script

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-03-21 09:23:01 -07:00
parent fe30b7edb6
commit 9765a6d0d3
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/vsts-mac.sh
View file

@ -8,10 +8,11 @@ make
make test-z3 make test-z3
make cpp_example make cpp_example
make c_example make c_example
make java_example # make java_example
make python_example # make python_example
./cpp_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