about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDaniel Schemmel <daniel@schemmel.net>2022-06-28 22:52:33 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-06-29 09:33:46 +0100
commit71b0e70464ceb9105535b796feede63c5800252c (patch)
tree68b60a3af9594ff8fc239ca5ce096f5bf81fb58c
parent7a6100d388e18ba58daef45f3590fe7f218c9ef0 (diff)
downloadklee-71b0e70464ceb9105535b796feede63c5800252c.tar.gz
forward ci environment variables used to exercise metasmt backends into the docker container
-rwxr-xr-xscripts/build/run-tests.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh
index 76500da7..7eb8b4fa 100755
--- a/scripts/build/run-tests.sh
+++ b/scripts/build/run-tests.sh
@@ -94,7 +94,7 @@ function upload_coverage() {
 }
 
 function run_docker() {
- docker_arguments=(docker run -u root --cap-add SYS_PTRACE -t)
+ docker_arguments=(docker run -u root --cap-add SYS_PTRACE -t -e SOLVERS -e METASMT_DEFAULT)
  script_arguments=("--debug" '"/tmp/klee_build"*')
  if [[ "${COVERAGE}" -eq 1 ]]; then
    script_arguments+=("--coverage")