From d309c4fa0ca2cd55e36cf1462b9057d6eb97a297 Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Tue, 13 Apr 2021 15:30:23 +0200 Subject: 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. --- scripts/build/run-tests.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'scripts') 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 ############################################################################### -- cgit 1.4.1