diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-02-28 11:56:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-10 20:10:32 +0000 |
| commit | cf930214e12b49e89be4674043d9f461d667baae (patch) | |
| tree | 90de5ea1c643d0d7ad2c5cf55e862d309e605d48 /scripts/build/run-coverage.sh | |
| parent | b4d8fe0301b82e8abff0336bf6d1347dff11a853 (diff) | |
| download | klee-cf930214e12b49e89be4674043d9f461d667baae.tar.gz | |
Updated dependency build system for KLEE
Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.
Diffstat (limited to 'scripts/build/run-coverage.sh')
| -rwxr-xr-x | scripts/build/run-coverage.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/scripts/build/run-coverage.sh b/scripts/build/run-coverage.sh deleted file mode 100755 index ceba8216..00000000 --- a/scripts/build/run-coverage.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash - -set -e - -# We are going to build docker containers -export DOCKER_BUILD=1 - -# All scripts are located relative to this one -DIR="$(cd "$(dirname "$0")" && pwd)" -source "${DIR}/common-defaults.sh" - -if [[ "a$COVERAGE" != "a1" ]]; then - exit 0 -fi - -function upload_coverage() { - file=$1 - tags=$2 - ci_env=$(bash <(curl -s https://codecov.io/env)) - docker run ${ci_env} -ti ${REPOSITORY}/klee:${LLVM_VERSION_SHORT}${LLVM_SUFFIX}${SOLVER_SUFFIX}${DEPS_SUFFIX} /bin/bash -c "cd /home/klee/klee_src && bash <(curl -s https://codecov.io/bash) -X gcov -y /home/klee/klee_src/.codecov.yml -f /home/klee/klee_build/coverage_all.info.${file} -F $tags" -} - -# FIXME Enable separated coverage tags again -upload_coverage systemtests systemtests_unittests -upload_coverage unittests systemtests_unittests |