mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity
z3/.githooks/README.md
Lev Nachmanson d704b289ef Add local pre-commit hook running z3test regressions 
Adds a versioned .githooks/pre-commit that builds z3 and runs the
z3test regression suite (scripts/test_benchmarks.py over
regressions/smt2) as a precondition for every commit. Enable with
'git config core.hooksPath .githooks'.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-27 08:45:19 -07:00

671 B
Raw Permalink Blame History

Git hooks

Versioned git hooks for this repository.

pre-commit

Builds the z3 binary and runs the z3test regression suite (scripts/test_benchmarks.py over regressions/smt2) locally. The commit is aborted if the build or any regression fails.

Enable

git config core.hooksPath .githooks

Configuration (environment variables)

  • Z3_BUILD_DIR — build directory to use/create (default: build/release).
  • Z3TEST_DIR — existing z3test checkout. If unset, z3test is cloned into ../z3test-precommit next to the repository.

Skip for a single commit

git commit --no-verify