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

[LSan] Remove suppression files. The were fixed on rebase

This commit is contained in:
Dan Liew 2017-10-11 08:17:57 +01:00
parent ff5df20deb
commit 8d600050db

View file

@ -1,8 +1 @@
# LeakSanitizer suppression file
# FIXME: This looks a bug in Clang/LSan the error reported
# doesn't make sense. See https://github.com/Z3Prover/z3/issues/1297
leak:_fini
# FIXME: I don't understand this leak.
# See https://github.com/Z3Prover/z3/issues/1297
leak:error_code_example2