Run a COVER coverage build
covera_coverage_buildPlan and run instrumented COVER EE coverage builds for C/C++, C#, or Java projects while preserving original output paths; optionally execute them and register the coverage module.
Instructions
Drive a COVER EE coverage build for a C/C++, C#, or Java project: identify the original build and real tools, plan the instrumented build keeping the original output paths, and -- when execute is true -- run it and keep the successful setup for later builds. Give projectDir to start a new build or jobContext to resume one (exactly one). execute runs the real builds and registers the coverage module on the COVER server, so it changes the project's build setup and server state: read covera_get_guide topic=build first, explain what it does, and get the user's approval before calling with execute. With execute omitted it only plans and writes job state. The result is a workflow envelope; a WAITING_* status means resume with its jobContext after supplying what it asks for. The Open API Access Key is read from the Local Agent's cached credentials or COVER_ACCESS_KEY; this server never prompts for it.
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": "covera_coverage_build"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| execute | No | Run the validated original and coverage builds after planning. Without it, plan only. | |
| targets | No | Native GCC build target; repeatable. | |
| decision | No | Absolute path of an integrity-protected decision file produced by this runner. | |
| failFast | No | Stop on the first coverage build failure; do not run the project-file fallback. | |
| jobsRoot | No | Absolute path of the jobs root directory. | |
| parallel | No | Build parallelism (default: host CPU count). | |
| artifacts | No | Expected build artifact; repeatable. | |
| serverUrl | No | Local Agent remote-service URL; defaults to CODESCROLL_TM_SERVER_URL. | |
| verifyTls | No | Verify the HTTPS certificate for a new COVER job (skipped by default). | |
| jobContext | No | Absolute path of an existing job.json to resume. | |
| projectDir | No | Absolute path of the project to build (start a new workflow). | |
| vsRealTools | No | Fallback cl.exe/link.exe/lib.exe as TOOL=PATH; repeatable. | |
| gccBuildTool | No | Explicit cmake or make executable. | |
| gccGenerator | No | CMake generator. | |
| gccCleanTarget | No | Clean target name (default: clean). | |
| gccCoverConfig | No | COVER config filename under <agent-root>/conf (default: gcc.config). | |
| gccConfiguration | No | Build configuration. | |
| gccConfigureArgs | No | Extra configure argument; repeatable. | |
| openApiServerUrl | No | COVER Open API main web server URL (e.g. https://cover.example.com:4009); required for a new build unless already cached. | |
| gccBuildDirectory | No | GCC build directory. | |
| noEnvironmentProfile | No | Do not read a previous job's environment profile. | |
| stm32cubeideExecutable | No | Explicit stm32cubeidec.exe / stm32cubeide for headless builds. |