diff options
author | Tim King <taking@google.com> | 2016-04-27 12:54:29 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-04-27 12:59:00 -0700 |
commit | 7d0e58cf61bdb5d867006b6db90ec956f0968d97 (patch) | |
tree | f4eb65a24b9d035fb29fb031ae023ac0eb49d0d3 | |
parent | 653828ccb09cdbd80dd8f3b40e4b664a8745081b (diff) |
Adding an example lsan supression file.
-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 + |