LCOV - code coverage report
Current view: top level - process/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 680 709 95.9 %
Date: 2020-09-22 00:46:14 Functions: 179 180 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
replace_test.cpp
87.9%87.9%
87.9 % 80 / 91 93.3 % 14 / 15
print_test.cpp
92.1%92.1%
92.1 % 58 / 63 100.0 % 10 / 10
typecheck_test.cpp
95.1%95.1%
95.1 % 116 / 122 100.0 % 66 / 66
alphabet_test.cpp
97.7%97.7%
97.7 % 208 / 213 100.0 % 49 / 49
process_test.cpp
97.8%97.8%
97.8 % 90 / 92 100.0 % 10 / 10
action_test.cpp
100.0%
100.0 % 28 / 28 100.0 % 4 / 4
find_test.cpp
100.0%
100.0 % 28 / 28 100.0 % 8 / 8
sort_traverser_test.cpp
100.0%
100.0 % 34 / 34 100.0 % 5 / 5
parse_test.cpp
100.0%
100.0 % 38 / 38 100.0 % 13 / 13

Generated by: LCOV version 1.13