From 7d0e58cf61bdb5d867006b6db90ec956f0968d97 Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 27 Apr 2016 12:54:29 -0700 Subject: Adding an example lsan supression file. --- contrib/lfsc_lsan.supp | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 contrib/lfsc_lsan.supp 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 + -- cgit v1.2.3