LCOV - code coverage report
Current view: top level - lts/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1371 1388 98.8 %
Date: 2020-09-22 00:46:14 Functions: 173 174 99.4 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
lps2lts_test.cpp
98.5%98.5%
98.5 % 203 / 206 98.6 % 71 / 72
ltsconvert_test.cpp
100.0%
100.0 % 528 / 528 100.0 % 5 / 5
parse_test.cpp
93.8%93.8%
93.8 % 15 / 16 100.0 % 5 / 5
lts_pbisim_test.cpp
75.0%75.0%
75.0 % 30 / 40 100.0 % 6 / 6
probabilistic_arbitrary_precision_fraction_test.cpp
100.0%
100.0 % 33 / 33 100.0 % 7 / 7
linearization_instantiation_compare_test.cpp
100.0%
100.0 % 56 / 56 100.0 % 9 / 9
lts_test.cpp
99.0%99.0%
99.0 % 301 / 304 100.0 % 19 / 19
compare.cpp
100.0%
100.0 % 205 / 205 100.0 % 51 / 51

Generated by: LCOV version 1.13