LCOV - code coverage report
Current view: top level - lps/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2121 2196 96.6 %
Date: 2019-08-22 00:56:55 Functions: 470 471 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 % 112 / 112 100.0 % 23 / 23
binary_test.cpp
100.0%
100.0 % 105 / 105 100.0 % 18 / 18
confcheck_test.cpp
100.0%
100.0 % 36 / 36 100.0 % 14 / 14
constelm_test.cpp
100.0%
100.0 % 66 / 66 100.0 % 8 / 8
data_specification_test.cpp
100.0%
100.0 % 7 / 7 100.0 % 4 / 4
find_test.cpp
100.0%
100.0 % 45 / 45 100.0 % 12 / 12
invelm_test.cpp
100.0%
100.0 % 55 / 55 100.0 % 9 / 9
linear_process_conversion_test.cpp
87.1%87.1%
87.1 % 27 / 31 100.0 % 5 / 5
linearization_stochastic_test.cpp
97.9%97.9%
97.9 % 46 / 47 100.0 % 12 / 12
linearization_test1.cpp
100.0%
100.0 % 188 / 188 100.0 % 68 / 68
linearization_test2.cpp
100.0%
100.0 % 136 / 136 100.0 % 56 / 56
linearization_test3.cpp
98.3%98.3%
98.3 % 58 / 59 100.0 % 18 / 18
lps_algorithm_test.cpp
100.0%
100.0 % 9 / 9 100.0 % 5 / 5
lpsparunfold_test.cpp
51.2%51.2%
51.2 % 21 / 41 100.0 % 4 / 4
ltsmin_test.cpp
98.8%98.8%
98.8 % 168 / 170 100.0 % 14 / 14
multi_action_test.cpp
100.0%
100.0 % 73 / 73 100.0 % 9 / 9
next_state_generator_test.cpp
100.0%
100.0 % 65 / 65 100.0 % 10 / 10
parelm_test.cpp
100.0%
100.0 % 43 / 43 100.0 % 6 / 6
print_test.cpp
100.0%
100.0 % 28 / 28 100.0 % 10 / 10
remove_parameters_test.cpp
100.0%
100.0 % 37 / 37 100.0 % 7 / 7
rename_test.cpp
100.0%
100.0 % 19 / 19 100.0 % 6 / 6
replace_test.cpp
100.0%
100.0 % 86 / 86 100.0 % 10 / 10
resolve_name_clash_test.cpp
100.0%
100.0 % 24 / 24 100.0 % 6 / 6
rewriter_test.cpp
95.2%95.2%
95.2 % 79 / 83 100.0 % 10 / 10
specification_property_map_test.cpp
100.0%
100.0 % 8 / 8 100.0 % 4 / 4
specification_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 7 / 7
stochastic_specification_test.cpp
100.0%
100.0 % 73 / 73 100.0 % 26 / 26
sumelm_test.cpp
99.4%99.4%
99.4 % 157 / 158 100.0 % 25 / 25
suminst_test.cpp
87.3%87.3%
87.3 % 89 / 102 90.9 % 10 / 11
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.6%92.6%
92.6 % 112 / 121 100.0 % 36 / 36
untime_test.cpp
96.8%96.8%
96.8 % 60 / 62 100.0 % 8 / 8

Generated by: LCOV version 1.12