LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 285 1071 26.6 %
Date: 2019-08-22 00:56:55 Functions: 47 142 33.1 %
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 / 71 0.0 % 0 / 7
bdd_prover.h
61.3%61.3%
61.3 % 119 / 194 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.5%96.5%
96.5 % 82 / 85 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 / 503 0.0 % 0 / 63
smt_solver.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 3

Generated by: LCOV version 1.12