• Home
• tools.aqua
• z3-turnkey
• 4.12.6
• source code
• vsts-mac.sh

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.12.6.scripts.vsts-mac.sh Maven / Gradle / Ivy

#!/bin/sh

cd ..
mkdir build
CXX=clang++ CC=clang python scripts/mk_make.py  --java --python
cd build
make
make test-z3
make cpp_example
make c_example
# make java_example
# make python_example
./cpp_example
./test_capi

git clone https://github.com/z3prover/z3test.git z3test
ls
python z3test/scripts/test_benchmarks.py ./z3 ./z3test/regressions/smt2