about summary refs log tree commit diff homepage
path: root/scripts/build
diff options
context:
space:
mode:
authorLukas Zaoral <lzaoral@redhat.com>2021-04-13 15:30:23 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2021-04-18 18:34:39 +0100
commitd309c4fa0ca2cd55e36cf1462b9057d6eb97a297 (patch)
tree3f14da778b58b906e7092485bdc7e1357c3a992f /scripts/build
parent292600cf54d5fd73278f67a4f98c2f955cbdaa10 (diff)
downloadklee-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')
-rwxr-xr-xscripts/build/run-tests.sh6
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
   ###############################################################################