diff options
Diffstat (limited to 'contrib/lfsc_lsan.supp')
| -rw-r--r-- | contrib/lfsc_lsan.supp | 8 |
1 files changed, 8 insertions, 0 deletions
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 + |