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