#!/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"