z3-z3-4.12.6.scripts.test-z3.yml Maven / Gradle / Ivy
steps:
- script: |
cd build
./test-z3 -a
cd ..
steps:
- script: |
cd build
./test-z3 -a
cd ..