mirror of
https://github.com/Z3Prover/z3
synced 2025-10-24 00:14:35 +00:00
4 lines
111 B
Markdown
4 lines
111 B
Markdown
# Sanitizer suppression files
|
|
|
|
This directory contains files used to suppress
|
|
ASan/LSan/UBSan warnings/errors.
|