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