coverage_report
Reports statement, branch, and MC/DC coverage per requirement from the latest run, listing uncovered lines, branches, and implementing code no linked test executes.
Instructions
Statement and branch coverage (plus MC/DC for C/C++ with clang >= 18) of each requirement's implementing code from the latest run, with uncovered lines, branches and conditions, and implementing code that no linked test executes.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "coverage_report"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| req_id | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| run_id | Yes | ||
| requirements | Yes |