LCOV - code coverage report
Current view: top level - lts/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1362 1379 98.8 %
Date: 2020-02-19 00:44:21 Functions: 169 170 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 % 199 / 202 98.6 % 69 / 70
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 % 200 / 200 100.0 % 49 / 49

Generated by: LCOV version 1.13