LCOV - code coverage report
Current view: top level - data/source/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1608 1910 84.2 %
Date: 2020-08-12 00:34:17 Functions: 139 152 91.4 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
jitty.cpp
92.2%92.2%
92.2 % 273 / 296 95.0 % 19 / 20
jittyc.cpp
84.3%84.3%
84.3 % 1081 / 1283 92.7 % 89 / 96
rewrite.cpp
66.8%66.8%
66.8 % 153 / 229 80.8 % 21 / 26
strategy.cpp
99.0%99.0%
99.0 % 101 / 102 100.0 % 10 / 10

Generated by: LCOV version 1.13