From: Tim King <taking@google.com>
Date: Wed, 27 Apr 2016 19:54:29 +0000 (-0700)
Subject: Adding an example lsan supression file.
X-Git-Tag: cvc5-1.0.0~6049^2~60
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d0e58cf61bdb5d867006b6db90ec956f0968d97;p=cvc5.git

Adding an example lsan supression file.
---

diff --git a/contrib/lfsc_lsan.supp b/contrib/lfsc_lsan.supp
new file mode 100644
index 000000000..63022a8f9
--- /dev/null
+++ b/contrib/lfsc_lsan.supp
@@ -0,0 +1,8 @@
+# LSAN suppressions for memory leaks in LFSC.
+#
+# To use this file, add LSAN_OPTIONS to the commandline invocation.
+#   LSAN_OPTIONS=suppressions=contrib/lfsc_lsan.supp ./build/bin/cvc4 ...
+# For more information on the leak sanitizer in ASAN, see
+# https://github.com/google/sanitizers/wiki/AddressSanitizerLeakSanitizer
+leak:CVC4::CnfProof::pushCurrentDefinition
+