LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/build/src/api/cpp Hit Total Coverage
Test: coverage.info Lines: 783 785 99.7 %
Date: 2026-08-10 10:35:18 Functions: 8 8 100.0 %
Branches: 704 706 99.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cvc5_proof_rule.cpp
99.7%99.7%
 99.7 % 783 / 785 100.0 % 8 / 8 99.7 % 704 / 706

Generated by: LCOV version 1.14