diff options
Diffstat (limited to 'contrib/lfsc_lsan.supp')
-rw-r--r-- | contrib/lfsc_lsan.supp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/contrib/lfsc_lsan.supp b/contrib/lfsc_lsan.supp deleted file mode 100644 index 63022a8f9..000000000 --- a/contrib/lfsc_lsan.supp +++ /dev/null @@ -1,8 +0,0 @@ -# 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 - |