LCOV - code coverage report
Current view: top level - lps/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2148 2213 97.1 %
Date: 2024-03-08 02:52:28 Functions: 479 480 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 % 127 / 127 100.0 % 23 / 23
binary_test.cpp
100.0%
100.0 % 124 / 124 100.0 % 18 / 18
confcheck_test.cpp
100.0%
100.0 % 38 / 38 100.0 % 12 / 12
constelm_test.cpp
100.0%
100.0 % 43 / 43 100.0 % 6 / 6
data_specification_test.cpp
100.0%
100.0 % 6 / 6 100.0 % 2 / 2
find_test.cpp
100.0%
100.0 % 46 / 46 100.0 % 10 / 10
invelm_test.cpp
100.0%
100.0 % 58 / 58 100.0 % 7 / 7
linear_process_conversion_test.cpp
80.6%80.6%
80.6 % 25 / 31 100.0 % 3 / 3
linearization_stochastic_test.cpp
98.1%98.1%
98.1 % 51 / 52 100.0 % 12 / 12
linearization_test1.cpp
100.0%
100.0 % 159 / 159 100.0 % 66 / 66
linearization_test2.cpp
100.0%
100.0 % 135 / 135 100.0 % 54 / 54
linearization_test3.cpp
100.0%
100.0 % 28 / 28 100.0 % 14 / 14
linearization_test4.cpp
100.0%
100.0 % 103 / 103 100.0 % 52 / 52
linearization_test5.cpp
100.0%
100.0 % 44 / 44 100.0 % 22 / 22
lps_algorithm_test.cpp
100.0%
100.0 % 8 / 8 100.0 % 3 / 3
lpsparunfold_test.cpp
51.2%51.2%
51.2 % 21 / 41 100.0 % 2 / 2
ltsmin_test.cpp
98.9%98.9%
98.9 % 175 / 177 100.0 % 12 / 12
multi_action_test.cpp
100.0%
100.0 % 74 / 74 100.0 % 7 / 7
one_point_condition_rewriter_test.cpp
84.6%84.6%
84.6 % 22 / 26 100.0 % 5 / 5
parelm_test.cpp
100.0%
100.0 % 22 / 22 100.0 % 4 / 4
print_test.cpp
96.7%96.7%
96.7 % 29 / 30 100.0 % 8 / 8
remove_parameters_test.cpp
100.0%
100.0 % 36 / 36 100.0 % 5 / 5
rename_test.cpp
100.0%
100.0 % 16 / 16 100.0 % 4 / 4
replace_test.cpp
100.0%
100.0 % 84 / 84 100.0 % 8 / 8
resolve_name_clash_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 4 / 4
rewriter_test.cpp
95.1%95.1%
95.1 % 77 / 81 100.0 % 8 / 8
specification_property_map_test.cpp
100.0%
100.0 % 7 / 7 100.0 % 2 / 2
specification_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 5 / 5
stochastic_specification_test.cpp
100.0%
100.0 % 85 / 85 100.0 % 28 / 28
sumelm_test.cpp
99.4%99.4%
99.4 % 161 / 162 100.0 % 23 / 23
suminst_test.cpp
87.3%87.3%
87.3 % 89 / 102 88.9 % 8 / 9
timed_linearization_test.cpp
91.2%91.2%
91.2 % 114 / 125 100.0 % 34 / 34
untime_test.cpp
96.6%96.6%
96.6 % 57 / 59 100.0 % 6 / 6
utility.h
100.0%
100.0 % 30 / 30 100.0 % 2 / 2

Generated by: LCOV version 1.14