LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 288 1077 26.7 %
Date: 2020-10-29 00:46:08 Functions: 45 138 32.6 %
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
3.4%3.4%
3.4 % 1 / 29 50.0 % 2 / 4
bdd_info.h
26.7%26.7%
26.7 % 4 / 15 28.6 % 2 / 7
bdd_path_eliminator.h
0.0%
0.0 % 0 / 72 0.0 % 0 / 7
bdd_prover.h
61.5%61.5%
61.5 % 128 / 208 62.5 % 10 / 16
bdd_simplifier.h
90.9%90.9%
90.9 % 10 / 11 100.0 % 5 / 5
induction.h
1.2%1.2%
1.2 % 1 / 85 18.2 % 2 / 11
info.h
96.2%96.2%
96.2 % 76 / 79 100.0 % 13 / 13
manipulator.h
91.9%91.9%
91.9 % 68 / 74 100.0 % 11 / 11
smt_lib_solver.h
0.0%
0.0 % 0 / 502 0.0 % 0 / 61
smt_solver.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 3

Generated by: LCOV version 1.13