contrib/lfsc_lsan.supp

   1 # LSAN suppressions for memory leaks in LFSC.
   2 #
   3 # To use this file, add LSAN_OPTIONS to the commandline invocation.
   4 #   LSAN_OPTIONS=suppressions=contrib/lfsc_lsan.supp ./build/bin/cvc4 ...
   5 # For more information on the leak sanitizer in ASAN, see
   6 # https://github.com/google/sanitizers/wiki/AddressSanitizerLeakSanitizer
   7 leak:CVC4::CnfProof::pushCurrentDefinition
   8