forward ci environment variables used to exercise metasmt backends in…

…to the docker container
Yuzhou-Fang · Jun 29, 2022 · 71b0e70 · 71b0e70
1 parent 7a6100d
commit 71b0e70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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")