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 /contrib/lfsc_lsan.supp | |
| parent | 653828ccb09cdbd80dd8f3b40e4b664a8745081b (diff) | |
Adding an example lsan supression file.
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 + |