z3-z3-4.13.0.scripts.test-z3.yml Maven / Gradle / Ivy
The newest version!
steps:
- script: |
cd build
./test-z3 -a
cd ..
steps:
- script: |
cd build
./test-z3 -a
cd ..