test/lit.site.cfg.in


1
2
3
4
5
6
7
8

## 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")