blob: 2b239f56a76a1340eaf36908bffcf18e85dd8358 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
## 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@"
config.llvm_tools_dir = "@LLVM_TOOLS_DIR@"
config.llvm_version_major = "@LLVM_VERSION_MAJOR@"
# Let the main config do the real work.
lit.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg")
|
