LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 292 1126 25.9 %
Date: 2019-05-22 00:50:25 Functions: 47 144 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
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.0%61.0%
61.0 % 119 / 195 62.5 % 10 / 16
bdd_simplifier.h
90.9%90.9%
90.9 % 10 / 11 100.0 % 5 / 5
induction.h
5.8%5.8%
5.8 % 8 / 137 16.7 % 2 / 12
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
utilities.h
0.0%
0.0 % 0 / 2 0.0 % 0 / 1

Generated by: LCOV version 1.12