mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
4 lines
162 B
YAML
4 lines
162 B
YAML
- steps
|
|
- script: git clone https://github.com/z3prover/z3test z3test
|
|
- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2
|