blob: 054516b7b6d7d17ad8cef48042bec11d681629b2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
import sys
import os
## @AUTO_GEN_MSG@
config.name = 'KLEE Unit tests'
config.unit_test_exe_suffix = "@UNIT_TEST_EXE_SUFFIX@"
# Let the main config do the real work.
lit_config.load_config(config, "@CMAKE_SOURCE_DIR@/unittests/lit-unit-tests-common.cfg")
config.environment['LSAN_OPTIONS'] = "suppressions=@KLEE_UTILS_DIR@/sanitizers/lsan.txt"
config.environment['UBSAN_OPTIONS'] = "print_stacktrace=1,suppressions=@KLEE_UTILS_DIR@/sanitizers/ubsan.txt"
|
