LCOV - code coverage report
Current view: top level - lts/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1358 1372 99.0 %
Date: 2019-08-22 00:56:55 Functions: 165 165 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 % 200 / 200 100.0 % 49 / 49
linearization_instantiation_compare_test.cpp
100.0%
100.0 % 56 / 56 100.0 % 9 / 9
lps2lts_test.cpp
100.0%
100.0 % 191 / 191 100.0 % 65 / 65
lts_pbisim_test.cpp
75.0%75.0%
75.0 % 30 / 40 100.0 % 6 / 6
lts_test.cpp
99.0%99.0%
99.0 % 301 / 304 100.0 % 19 / 19
ltsconvert_test.cpp
100.0%
100.0 % 528 / 528 100.0 % 5 / 5
parse_test.cpp
94.7%94.7%
94.7 % 18 / 19 100.0 % 5 / 5
probabilistic_arbitrary_precision_fraction_test.cpp
100.0%
100.0 % 34 / 34 100.0 % 7 / 7

Generated by: LCOV version 1.12