steps:
- script: |
    cd build
    ./test-z3 -a
    cd ..