This repository holds test infrastructure and benchmarks used to test Z3.
The proof regression matrix checks Z3's proof paths
using the benchmark lists and minimized regressions in
regressions/proofs/canaries/.
This repository holds test infrastructure and benchmarks used to test Z3.
The proof regression matrix checks Z3's proof paths
using the benchmark lists and minimized regressions in
regressions/proofs/canaries/.