Ctrl K
ComunidadGuías…

hack/scripts/cover.sh

Rama main · réplica de lectura del repositorio original.

Archivo original ↗Preguntar a KiBot
#!/usr/bin/env bash
#
# Copyright 2021-2026 Zenauth Ltd.

set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
COVERFILE="$(mktemp -t cerbos-XXXXX)"

trap 'rm -rf "$COVERFILE"' EXIT

(
    cd "${SCRIPT_DIR}/../.."
    go test -tags=tests -coverprofile="$COVERFILE" -count=1 $@

    # go install github.com/nikandfor/cover@latest
    if command -v cover &> /dev/null; then
        cover -p "$COVERFILE"
    else
        go tool cover -html="$COVERFILE"
    fi
)