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"