File: lfsc_lsan.supp

package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2
file content (8 lines) | stat: -rw-r--r-- 366 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
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