Switch to dark mode

reference

CLI test coverage

Numbers are produced by cargo coverage cli.

Methodology

  • Tool: cargo-llvm-cov driving cargo-nextest on native targets.
  • Scope: lemma CLI crate library unit tests, integration tests (cli/tests/**), and the lemma binary entrypoint via cargo llvm-cov nextest -p lemma --lib --tests --bin lemma.
  • Line, function, and region percentages come from LLVM source-based coverage.
  • Each run starts with cargo llvm-cov clean on the target crate so repeated measurements stay deterministic.
  • Tests run single-threaded (NEXTEST_TEST_THREADS=1) so coverage counters stay stable across runs.

Out of scope

  • lemma-engine source (see Engine test coverage; CLI integration tests exercise engine code but engine line coverage is authoritative there)
  • WASM npm package, Hex NIF, LSP, and OpenAPI crates

Environment

  • Host: Linux 7.0.0-28-generic x86_64
  • Rustc:
rustc 1.92.0 (ded5c06cf 2025-12-08)
binary: rustc
commit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234
commit-date: 2025-12-08
host: x86_64-unknown-linux-gnu
release: 1.92.0
LLVM version: 21.1.3

Summary

Metric Covered Total Percent
Lines 1297 3258 39.81%
Functions 130 310 41.94%
Regions 1988 4943 40.22%

Test run

  • Total: 113
  • Passed: 113
  • Skipped: 0
  • Failed: 0

Per-module coverage

Sorted by line coverage ascending (weakest first). Only files under src/ for this crate are listed.

Module Line % Function % Region % Lines covered/total
server.rs 0.00 0.00 0.00 0/650
interactive.rs 1.08 3.64 0.59 7/649
main.rs 37.13 47.95 35.47 313/843
error_formatter.rs 61.76 100.00 62.26 42/68
formatter.rs 80.56 83.33 81.70 116/144
mcp/server.rs 90.03 80.52 84.97 704/782
data_json.rs 94.26 94.74 94.39 115/122

Related docs