LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 286 1074 26.6 %
Date: 2020-01-17 00:44:36 Functions: 47 140 33.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
23.5%23.5%
23.5 % 4 / 17 28.6 % 2 / 7
bdd_path_eliminator.h
0.0%
0.0 % 0 / 72 0.0 % 0 / 7
bdd_prover.h
61.1%61.1%
61.1 % 121 / 198 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.4%96.4%
96.4 % 81 / 84 100.0 % 15 / 15
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