Adding an example lsan supression file.

diff --git a/contrib/lfsc_lsan.supp b/contrib/lfsc_lsan.supp
new file mode 100644 (file)
index 0000000..63022a8
--- /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
+