mirror of
https://github.com/Z3Prover/z3
synced 2026-03-07 05:44:51 +00:00
123bb620d4
Adds a workflow that builds and tests Z3 with AddressSanitizer and UndefinedBehaviorSanitizer on every push to catch runtime memory errors and undefined behavior. Runs unit tests, SMT-LIB2 benchmarks, and regression tests under both sanitizers. Includes a Copilot agentic workflow to generate summary reports as GitHub Discussions. Triggered on push (path-filtered to src/) and manual dispatch. |
||
|---|---|---|
| .. | ||
| actions | ||
| agentics | ||
| agents | ||
| aw | ||
| prompts | ||
| workflows | ||
| CI_MIGRATION.md | ||
| CI_TESTING.md | ||
| copilot-instructions.md | ||
| dependabot.yml | ||