LCOV - code coverage report
Current view: top level - data/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4120 4296 95.9 %
Date: 2020-08-12 00:34:17 Functions: 745 757 98.4 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bag_test.cpp
95.7%95.7%
95.7 % 112 / 117 100.0 % 9 / 9
bool_test.cpp
100.0%
100.0 % 5 / 5 100.0 % 4 / 4
builder_test.cpp
95.9%95.9%
95.9 % 47 / 49 100.0 % 16 / 16
compatibility_test.cpp
92.9%92.9%
92.9 % 13 / 14 100.0 % 5 / 5
data_equation_test.cpp
100.0%
100.0 % 15 / 15 100.0 % 5 / 5
data_expression_test.cpp
100.0%
100.0 % 200 / 200 100.0 % 26 / 26
data_specification_test.cpp
93.7%93.7%
93.7 % 419 / 447 95.8 % 23 / 24
enumerator_test.cpp
95.3%95.3%
95.3 % 243 / 255 97.4 % 38 / 39
find_test.cpp
100.0%
100.0 % 83 / 83 100.0 % 18 / 18
identifier_generator_test.cpp
100.0%
100.0 % 54 / 54 100.0 % 8 / 8
index_traits_test.cpp
36.4%36.4%
36.4 % 4 / 11 66.7 % 6 / 9
int_test.cpp
100.0%
100.0 % 12 / 12 100.0 % 5 / 5
linear_inequalities_test.cpp
90.9%90.9%
90.9 % 170 / 187 100.0 % 13 / 13
list_test.cpp
100.0%
100.0 % 26 / 26 100.0 % 6 / 6
normalize_sorts_test.cpp
96.4%96.4%
96.4 % 27 / 28 100.0 % 7 / 7
parser_test.cpp
98.2%98.2%
98.2 % 55 / 56 100.0 % 10 / 10
print_test.cpp
92.1%92.1%
92.1 % 256 / 278 92.3 % 60 / 65
quantifier_test.cpp
94.6%94.6%
94.6 % 87 / 92 100.0 % 11 / 11
replace_test.cpp
97.1%97.1%
97.1 % 134 / 138 100.0 % 22 / 22
representative_generator_test.cpp
100.0%
100.0 % 26 / 26 100.0 % 5 / 5
rewriter_test.cpp
88.6%88.6%
88.6 % 124 / 140 94.4 % 17 / 18
rewriting_test.cpp
99.0%99.0%
99.0 % 790 / 798 100.0 % 67 / 67
set_test.cpp
93.7%93.7%
93.7 % 104 / 111 100.0 % 8 / 8
sort_expression_test.cpp
100.0%
100.0 % 116 / 116 100.0 % 12 / 12
substitution_test.cpp
95.4%95.4%
95.4 % 208 / 218 95.2 % 20 / 21
template_test.cpp
100.0%
100.0 % 14 / 14 100.0 % 10 / 10
ticket_1300.cpp
100.0%
100.0 % 14 / 14 100.0 % 5 / 5
type_check_tree_test.cpp
100.0%
100.0 % 105 / 105 100.0 % 8 / 8
typecheck_test.cpp
96.4%96.4%
96.4 % 584 / 606 100.0 % 293 / 293
utility_test.cpp
90.1%90.1%
90.1 % 73 / 81 100.0 % 8 / 8

Generated by: LCOV version 1.13