LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/build/src/api/cpp Hit Total Coverage
Test: coverage.info Lines: 630 632 99.7 %
Date: 2024-09-09 12:04:23 Functions: 8 8 100.0 %
Branches: 587 589 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 % 630 / 632 100.0 % 8 / 8 99.7 % 587 / 589

Generated by: LCOV version 1.14