From 8d600050dbd9c73c58152259d91f999f33c19a11 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 11 Oct 2017 08:17:57 +0100 Subject: [PATCH] [LSan] Remove suppression files. The were fixed on rebase --- contrib/suppressions/sanitizers/lsan.txt | 7 ------- 1 file changed, 7 deletions(-) diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt index 81a3c8b85..a4ce0881a 100644 --- a/contrib/suppressions/sanitizers/lsan.txt +++ b/contrib/suppressions/sanitizers/lsan.txt @@ -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