LCOV - code coverage report
Current view: top level - lts/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1330 1344 99.0 %
Date: 2019-05-22 00:50:25 Functions: 163 163 100.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 % 203 / 203 100.0 % 50 / 50
linearization_instantiation_compare_test.cpp
100.0%
100.0 % 59 / 59 100.0 % 10 / 10
lps2lts_test.cpp
100.0%
100.0 % 166 / 166 100.0 % 59 / 59
lts_pbisim_test.cpp
76.7%76.7%
76.7 % 33 / 43 100.0 % 7 / 7
lts_test.cpp
98.9%98.9%
98.9 % 280 / 283 100.0 % 17 / 17
ltsconvert_test.cpp
100.0%
100.0 % 531 / 531 100.0 % 6 / 6
parse_test.cpp
95.5%95.5%
95.5 % 21 / 22 100.0 % 6 / 6
probabilistic_arbitrary_precision_fraction_test.cpp
100.0%
100.0 % 37 / 37 100.0 % 8 / 8

Generated by: LCOV version 1.12