From 71b0e70464ceb9105535b796feede63c5800252c Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Tue, 28 Jun 2022 22:52:33 +0100 Subject: forward ci environment variables used to exercise metasmt backends into the docker container --- scripts/build/run-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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") -- cgit 1.4.1