diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 19:07:56 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 19:07:56 +0000 |
| commit | 24f6b3f2c3faeea3405839e015e11dbbadd1a5f9 (patch) | |
| tree | 50ab3c123169f95b5f77200a13d259d764239db0 /test/lib | |
| parent | f4cdc443fb86f715ab93f3528aff23452a5bb3a3 (diff) | |
| download | klee-24f6b3f2c3faeea3405839e015e11dbbadd1a5f9.tar.gz | |
Sketch support for running KLEE tests using 'lit'.
- Not working yet. Also, ditch a bunch of unused substitution variables from the site.exp config file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102872 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/lib')
| -rw-r--r-- | test/lib/llvm.exp | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/test/lib/llvm.exp b/test/lib/llvm.exp index 158cc54c..ce52c4b5 100644 --- a/test/lib/llvm.exp +++ b/test/lib/llvm.exp @@ -42,29 +42,17 @@ proc execOneLine { test PRS outcome lineno line } { # This procedure performs variable substitutions on the RUN: lines of a test # cases. proc substitute { line test tmpFile } { - global srcroot objroot srcdir objdir subdir target_triplet prcontext + global srcroot objroot srcdir objdir subdir target_triplet global llvmgcc llvmgxx llvmgcc_version - global gccpath gxxpath compile_c compile_cxx link llvmlibsdir - global llvmtoolsdir set path [file join $srcdir $subdir] # Substitute all Tcl variables. set new_line [subst $line ] - #replace %prcontext with prcontext.tcl (Must replace before %p) - regsub -all {%prcontext} $new_line $prcontext new_line #replace %llvmgcc with actual path to llvmgcc regsub -all {%llvmgcc} $new_line "$llvmgcc -emit-llvm" new_line #replace %llvmgxx with actual path to llvmg++ regsub -all {%llvmgxx} $new_line "$llvmgxx -emit-llvm" new_line - #replace %compile_c with C compilation command - regsub -all {%compile_c} $new_line "$compile_c" new_line - #replace %compile_cxx with C++ compilation command - regsub -all {%compile_cxx} $new_line "$compile_cxx" new_line - #replace %link with C++ link command - regsub -all {%link} $new_line "$link" new_line - #replace %llvmlibsdir with configure library directory - regsub -all {%llvmlibsdir} $new_line "$llvmlibsdir" new_line #replace %klee with klee binary regsub -all {%klee} $new_line "klee" new_line #replace %kleaver with kleaver binary |