LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 295 1124 26.2 %
Date: 2024-03-08 02:52:28 Functions: 39 126 31.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bdd2dot.h
0.0%
0.0 % 0 / 29 0.0 % 0 / 2
bdd_info.h
26.7%26.7%
26.7 % 4 / 15 28.6 % 2 / 7
bdd_path_eliminator.h
0.0%
0.0 % 0 / 78 0.0 % 0 / 5
bdd_prover.h
58.4%58.4%
58.4 % 132 / 226 52.6 % 10 / 19
bdd_simplifier.h
90.0%90.0%
90.0 % 9 / 10 100.0 % 4 / 4
induction.h
0.0%
0.0 % 0 / 95 0.0 % 0 / 9
info.h
96.3%96.3%
96.3 % 78 / 81 100.0 % 13 / 13
manipulator.h
91.1%91.1%
91.1 % 72 / 79 100.0 % 10 / 10
smt_lib_solver.h
0.0%
0.0 % 0 / 510 0.0 % 0 / 55
smt_solver.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2

Generated by: LCOV version 1.14