LCOV - code coverage report
Current view: top level - bes/include/mcrl2/bes Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 912 1077 84.7 %
Date: 2019-08-22 00:56:55 Functions: 281 344 81.7 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bdd_expression.h
89.8%89.8%
89.8 % 44 / 49 95.0 % 19 / 20
bes2pbes.h
100.0%
100.0 % 13 / 13 100.0 % 3 / 3
boolean_equation.h
100.0%
100.0 % 36 / 36 94.1 % 16 / 17
boolean_equation_system.h
92.5%92.5%
92.5 % 62 / 67 94.7 % 18 / 19
boolean_expression.h
92.7%92.7%
92.7 % 114 / 123 93.7 % 59 / 63
builder.h
77.4%77.4%
77.4 % 41 / 53 76.9 % 10 / 13
find.h
100.0%
100.0 % 18 / 18 100.0 % 13 / 13
gauss_elimination.h
85.0%85.0%
85.0 % 17 / 20 83.3 % 5 / 6
index_traits.h
66.7%66.7%
66.7 % 8 / 12 66.7 % 2 / 3
io.h
65.3%65.3%
65.3 % 49 / 75 88.9 % 8 / 9
join.h
100.0%
100.0 % 12 / 12 100.0 % 4 / 4
normal_forms.h
85.1%85.1%
85.1 % 80 / 94 83.3 % 15 / 18
parse.h
92.3%92.3%
92.3 % 12 / 13 100.0 % 1 / 1
pbesinst_conversion.h
100.0%
100.0 % 13 / 13 100.0 % 4 / 4
pg_parse.h
95.2%95.2%
95.2 % 79 / 83 100.0 % 20 / 20
print.h
85.3%85.3%
85.3 % 64 / 75 48.8 % 20 / 41
replace.h
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
simplify_rewriter.h
54.5%54.5%
54.5 % 12 / 22 60.0 % 3 / 5
small_progress_measures.h
79.6%79.6%
79.6 % 125 / 157 80.0 % 20 / 25
traverser.h
78.2%78.2%
78.2 % 104 / 133 66.7 % 38 / 57

Generated by: LCOV version 1.12