LCOV - code coverage report
Current view: top level - lps/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2166 2241 96.7 %
Date: 2019-05-22 00:50:25 Functions: 450 451 99.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
action_rename_test.cpp
100.0%
100.0 % 122 / 122 100.0 % 22 / 22
binary_test.cpp
100.0%
100.0 % 108 / 108 100.0 % 19 / 19
confcheck_test.cpp
100.0%
100.0 % 39 / 39 100.0 % 15 / 15
constelm_test.cpp
100.0%
100.0 % 67 / 67 100.0 % 7 / 7
data_specification_test.cpp
100.0%
100.0 % 8 / 8 100.0 % 3 / 3
find_test.cpp
100.0%
100.0 % 56 / 56 100.0 % 8 / 8
invelm_test.cpp
100.0%
100.0 % 58 / 58 100.0 % 10 / 10
linear_process_conversion_test.cpp
87.5%87.5%
87.5 % 28 / 32 100.0 % 4 / 4
linearization_stochastic_test.cpp
98.0%98.0%
98.0 % 49 / 50 100.0 % 13 / 13
linearization_test1.cpp
100.0%
100.0 % 187 / 187 100.0 % 67 / 67
linearization_test2.cpp
100.0%
100.0 % 138 / 138 100.0 % 57 / 57
linearization_test3.cpp
98.4%98.4%
98.4 % 61 / 62 100.0 % 19 / 19
lps_algorithm_test.cpp
100.0%
100.0 % 10 / 10 100.0 % 4 / 4
lpsparunfold_test.cpp
52.4%52.4%
52.4 % 22 / 42 100.0 % 3 / 3
ltsmin_test.cpp
98.8%98.8%
98.8 % 166 / 168 100.0 % 13 / 13
multi_action_test.cpp
100.0%
100.0 % 74 / 74 100.0 % 8 / 8
next_state_generator_test.cpp
100.0%
100.0 % 68 / 68 100.0 % 11 / 11
parelm_test.cpp
100.0%
100.0 % 44 / 44 100.0 % 5 / 5
print_test.cpp
100.0%
100.0 % 31 / 31 100.0 % 11 / 11
remove_parameters_test.cpp
100.0%
100.0 % 38 / 38 100.0 % 6 / 6
rename_test.cpp
100.0%
100.0 % 20 / 20 100.0 % 5 / 5
replace_test.cpp
100.0%
100.0 % 88 / 88 100.0 % 9 / 9
resolve_name_clash_test.cpp
100.0%
100.0 % 25 / 25 100.0 % 5 / 5
rewriter_test.cpp
95.2%95.2%
95.2 % 80 / 84 100.0 % 9 / 9
specification_property_map_test.cpp
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
specification_test.cpp
100.0%
100.0 % 28 / 28 100.0 % 6 / 6
stochastic_specification_test.cpp
100.0%
100.0 % 54 / 54 100.0 % 19 / 19
sumelm_test.cpp
99.4%99.4%
99.4 % 160 / 161 100.0 % 26 / 26
suminst_test.cpp
87.4%87.4%
87.4 % 90 / 103 90.0 % 9 / 10
symbolic_reachability_test.cpp
76.9%76.9%
76.9 % 60 / 78 100.0 % 10 / 10
test_specifications.h
100.0%
100.0 % 2 / 2 - 0 / 0
timed_linearization_test.cpp
92.7%92.7%
92.7 % 115 / 124 100.0 % 37 / 37
untime_test.cpp
96.8%96.8%
96.8 % 61 / 63 100.0 % 7 / 7

Generated by: LCOV version 1.12