diff options
author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-28 22:52:33 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-29 09:33:46 +0100 |
commit | 71b0e70464ceb9105535b796feede63c5800252c (patch) | |
tree | 68b60a3af9594ff8fc239ca5ce096f5bf81fb58c | |
parent | 7a6100d388e18ba58daef45f3590fe7f218c9ef0 (diff) | |
download | klee-71b0e70464ceb9105535b796feede63c5800252c.tar.gz |
forward ci environment variables used to exercise metasmt backends into the docker container
-rwxr-xr-x | scripts/build/run-tests.sh | 2 |
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") |