LCOV - code coverage report
Current view: top level - data/source/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1611 1914 84.2 %
Date: 2021-04-15 00:46:37 Functions: 140 153 91.5 %
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.3%92.3%
92.3 % 276 / 299 95.2 % 20 / 21
jittyc.cpp
84.3%84.3%
84.3 % 1081 / 1283 92.7 % 89 / 96
rewrite.cpp
66.5%66.5%
66.5 % 153 / 230 80.8 % 21 / 26
strategy.cpp
99.0%99.0%
99.0 % 101 / 102 100.0 % 10 / 10

Generated by: LCOV version 1.13