LCOV - code coverage report
Current view: top level - lts/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1588 1650 96.2 %
Date: 2024-03-08 02:52:28 Functions: 189 191 99.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
compare.cpp
100.0%
100.0 % 196 / 196 100.0 % 51 / 51
linearization_instantiation_compare_probabilistic_test.cpp
100.0%
100.0 % 51 / 51 100.0 % 5 / 5
linearization_instantiation_compare_test.cpp
100.0%
100.0 % 59 / 59 100.0 % 7 / 7
lps2lts_test.cpp
98.2%98.2%
98.2 % 168 / 171 98.5 % 66 / 67
lts_pbisim_test.cpp
78.7%78.7%
78.7 % 37 / 47 100.0 % 6 / 6
lts_test.cpp
91.2%91.2%
91.2 % 309 / 339 97.0 % 32 / 33
ltsconvert_test.cpp
100.0%
100.0 % 587 / 587 100.0 % 3 / 3
parse_test.cpp
93.8%93.8%
93.8 % 15 / 16 100.0 % 3 / 3
probabilistic_arbitrary_precision_fraction_test.cpp
100.0%
100.0 % 34 / 34 100.0 % 5 / 5
read_mcrl2.cpp
83.1%83.1%
83.1 % 74 / 89 100.0 % 5 / 5
read_plain.cpp
95.1%95.1%
95.1 % 58 / 61 100.0 % 6 / 6

Generated by: LCOV version 1.14