Skip to main content

run-coverage

Runs code coverage checker on the fastest available device. Use when the user asks to run the coverage, or to check the code coverage.

来源信息

仓库
intentee/llama-cpp-bindings
最近来源活动
2026年5月25日 12:49
检测到的 SKILL.md 语言
英语
星标
1
分支
0

安装方式

默认使用会先检查来源的 Prompt;你也可以切换为直接命令,或下载本地副本。

检查来源文件

决定是否安装前,请先阅读 SKILL.md,以及 SkillsMP 当前展示的配套文件。

正在显示 SKILL.md

SKILL.md
来源说明 · 只读预览
name
run-coverage
description
Runs code coverage checker on the fastest available device. Use when the user asks to run the coverage, or to check the code coverage.
# Checking the code coverage Run every instrumented test suite in the workspace, picking the fastest compiled device backend for the host, then make sure everything is within required limits. Makefile is the source of truth for the gated values, and the code coverage setup. ## Step 1: detect the device Run this once at the start and echo the chosen device: ```bash if [[ "$OSTYPE" == "darwin"* ]]; then DEVICE=metal elif command -v nvidia-smi >/dev/null 2>&1 && nvidia-smi >/dev/null 2>&1; then DEVICE=cuda else DEVICE=cpu fi echo "Device: $DEVICE" ``` `$DEVICE` selects the backend feature for every suite in Step 2, including `test.unit`. Passing the same device through every target keeps the cmake hash stable, so llama.cpp is compiled once and reused across all suites. ## Step 2: run the suites Translate `$DEVICE` into the value the Makefile expects. `TEST_DEVICE` holds **only** the backend name (`cuda` / `metal` / `vulkan` / `rocm`), or empty for CPU since there is no `cpu` feature: ```bash [ "$DEVICE" = "cpu" ] && FEAT= || FEAT="$DEVICE" ``` Then run exactly: ```bash make coverage TEST_DEVICE="$FEAT" ``` ## Step 4: report After all suites finish, sum up the results in an actionable report. Make sure all code coverage gates are met.
在 GitHub 查看