diff options
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 6cb85712..00b429b6 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -133,9 +133,12 @@ if len(kleaver_extra_params) != 0: ) # Set absolute paths and extra cmdline args for KLEE's tools +# If a tool's name is a prefix of another, the longer name has +# to come first, e.g., klee-replay should come before klee subs = [ ('%kleaver', 'kleaver', kleaver_extra_params), - ('%klee','klee', klee_extra_params), - ('%ktest-tool', 'ktest-tool', '') + ('%klee-replay', 'klee-replay', ''), + ('%klee','klee', klee_extra_params), + ('%ktest-tool', 'ktest-tool', '') ] for s,basename,extra_args in subs: config.substitutions.append( |