LCOV - code coverage report
Current view: top level - bes/include/mcrl2/bes Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 819 959 85.4 %
Date: 2020-10-20 00:45:57 Functions: 254 318 79.9 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
simplify_rewriter.h
54.5%54.5%
54.5 % 12 / 22 60.0 % 3 / 5
index_traits.h
66.7%66.7%
66.7 % 8 / 12 66.7 % 2 / 3
io.h
71.4%71.4%
71.4 % 5 / 7 66.7 % 2 / 3
builder.h
76.5%76.5%
76.5 % 39 / 51 72.7 % 8 / 11
traverser.h
77.5%77.5%
77.5 % 100 / 129 60.4 % 29 / 48
small_progress_measures.h
79.7%79.7%
79.7 % 126 / 158 80.0 % 20 / 25
print.h
82.4%82.4%
82.4 % 61 / 74 42.5 % 17 / 40
gauss_elimination.h
85.0%85.0%
85.0 % 17 / 20 83.3 % 5 / 6
normal_forms.h
85.3%85.3%
85.3 % 81 / 95 83.3 % 15 / 18
bdd_expression.h
89.8%89.8%
89.8 % 44 / 49 95.0 % 19 / 20
parse.h
92.3%92.3%
92.3 % 12 / 13 100.0 % 1 / 1
boolean_expression.h
92.9%92.9%
92.9 % 117 / 126 93.7 % 59 / 63
boolean_equation_system.h
93.1%93.1%
93.1 % 27 / 29 92.3 % 12 / 13
pg_parse.h
95.2%95.2%
95.2 % 80 / 84 100.0 % 20 / 20
replace.h
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
join.h
100.0%
100.0 % 12 / 12 100.0 % 4 / 4
pbesinst_conversion.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
bes2pbes.h
100.0%
100.0 % 13 / 13 100.0 % 3 / 3
find.h
100.0%
100.0 % 18 / 18 100.0 % 13 / 13
boolean_equation.h
100.0%
100.0 % 25 / 25 100.0 % 15 / 15

Generated by: LCOV version 1.13