diff options
Diffstat (limited to 'test/lit.site.cfg.in')
-rw-r--r-- | test/lit.site.cfg.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in index e53b1327..300c70c5 100644 --- a/test/lit.site.cfg.in +++ b/test/lit.site.cfg.in @@ -1,5 +1,9 @@ -## Autogenerated by LLVM/Clang configuration. -# Do not edit! +################################################################################ +# +# @LIT_AUTOGENERATED_WARNING@ +# +################################################################################ + config.klee_src_root = "@KLEE_SOURCE_DIR@" config.klee_obj_root = "@KLEE_BINARY_DIR@" config.klee_tools_dir = "@KLEE_TOOLS_DIR@" |