diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-04-13 15:30:23 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-04-18 18:34:39 +0100 |
| commit | d309c4fa0ca2cd55e36cf1462b9057d6eb97a297 (patch) | |
| tree | 3f14da778b58b906e7092485bdc7e1357c3a992f /scripts/build/run-tests.sh | |
| parent | 292600cf54d5fd73278f67a4f98c2f955cbdaa10 (diff) | |
| download | klee-d309c4fa0ca2cd55e36cf1462b9057d6eb97a297.tar.gz | |
tests: Do not add klee tools to PATH in lit
It may happen that some older instance of klee is already present in PATH. All tests that call plain klee instead of %klee may use it and then unexpectedly fail. This commit will make all tests that rely on klee tools being explicitly in PATH fail in our CI. From now on, only LLVM tools, FileCheck and not will be in lit's PATH.
Diffstat (limited to 'scripts/build/run-tests.sh')
| -rwxr-xr-x | scripts/build/run-tests.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh index 927cf160..48337f40 100755 --- a/scripts/build/run-tests.sh +++ b/scripts/build/run-tests.sh @@ -37,6 +37,12 @@ run_tests() { # TODO change to pinpoint specific directory cd "${build_dir}" + # Remove klee from PATH + export PATH=${PATH%":/home/klee/klee_build/bin"} + if which klee; then + return 1 # should not happen + fi + ############################################################################### # Unit tests ############################################################################### |