## Autogenerated by LLVM/Clang configuration. | |
# Do not edit! | |
config.klee_src_root = "@KLEE_SOURCE_DIR@" | |
config.klee_obj_root = "@KLEE_BINARY_DIR@" | |
config.klee_tools_dir = "@KLEE_TOOLS_DIR@" | |
# Let the main config do the real work. | |
lit.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg") |