mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

[ASan] Ignore Clang OpenMP leaks for now.

Browse source
This commit is contained in:
Dan Liew 2017-10-15 12:19:16 +01:00
parent 2dd1a4046d
commit fd98593a58
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
contrib/suppressions/sanitizers/lsan.txt
View file

@ -1 +1,5 @@
# LeakSanitizer suppression file
# Ignore Clang OpenMP leaks.
# See https://github.com/Z3Prover/z3/issues/1308
leak:___kmp_allocate