steps:
- script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
- script: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp    
