| #!/usr/bin/env bash | |
| # | |
| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| set -e | |
| if [[ $# == 0 ]]; then | |
| ARGS=("//...") | |
| else | |
| ARGS="$@" | |
| fi | |
| if ! cd "$BUILD_WORKSPACE_DIRECTORY"; then | |
| echo "Unable to change to workspace (BUILD_WORKSPACE_DIRECTORY: ${BUILD_WORKSPACE_DIRECTORY})" | |
| exit 1 | |
| fi | |
| bazel coverage "${ARGS[@]}" | |
| genhtml -o bazel-out/_coverage/ bazel-out/_coverage/_coverage_report.dat | |
| echo "Coverage report: file://$(pwd)/bazel-out/_coverage/index.html" |