Line Execution Checker

Check source line execution status against gcov .gcda data.

482|72|Updated Apr 5, 2026
One-click install
npx skills add https://github.com/deonmenezes/mantishack --skill line-execution-checker-deonmenezes
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: Line Execution Checker
Source: https://github.com/deonmenezes/mantishack/tree/main/.claude/skills/crash-analysis/line-execution-checker
Command: npx skills add https://github.com/deonmenezes/mantishack --skill line-execution-checker-deonmenezes

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Determine whether specific source lines were executed using gcov data.

Core Features & Use Cases

  • Check single or multiple lines against gcov data to confirm execution.
  • Requires .gcda data from a prior test run with gcov enabled.
  • Build or upgrade the checker as needed and report per-line execution status.
  • Output indicates which lines were EXECUTED or NOT EXECUTED.

Quick Start

Run the line-checker against a source file and line number to verify coverage.

Frequently Asked Questions about Line Execution Checker

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I check if a specific line of C++ code was executed using gcov data?

To check line execution with gcov data, you need .gcda files from a prior test run. The checker reads this coverage data and outputs a per-line status indicating whether the specified source lines were EXECUTED or NOT EXECUTED.

Can I verify per-file line coverage across a codebase in a CI pipeline?

Yes, you can verify per-file line coverage in CI pipelines by running the checker against source files. It reads the generated .gcda data and reports execution status for the specified lines, validating coverage across the codebase.

What do I need to generate before checking line execution status?

You need .gcda data from a prior test run with gcov enabled. You must also have the ability to build or upgrade the checker if needed before verifying whether specific source lines were executed.

How does line coverage verification from .gcda files work during debugging?

Line coverage verification works by reading .gcda files generated during test execution. It checks single or multiple lines against this gcov data to confirm execution, reporting per-line results indicating EXECUTED or NOT EXECUTED during debugging sessions.

What is the best way to validate if specific source lines were not executed in C++?

The best way to validate unexecuted C++ source lines is to analyze gcov data from tests. The checker outputs per-line results indicating NOT EXECUTED for lines missed by the test suite, helping identify coverage gaps.

Why does the line execution checker require a prior test run?

The line execution checker requires a prior test run because it depends on .gcda data files. These files contain the runtime coverage counters generated by instrumented code during test execution, which are necessary to determine per-line execution status.