LCOV - code coverage report
Current view: top level - data/source/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1571 1882 83.5 %
Date: 2019-08-22 00:56:55 Functions: 140 158 88.6 %
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 % 271 / 294 95.0 % 19 / 20
jittyc.cpp
84.3%84.3%
 84.3 % 1047 / 1242 92.6 % 88 / 95
rewrite.cpp
67.4%67.4%
 67.4 % 151 / 224 80.8 % 21 / 26
strategy.cpp
99.0%99.0%
 99.0 % 101 / 102 100.0 % 10 / 10
with_prover.cpp
5.0%5.0%
 5.0 % 1 / 20 28.6 % 2 / 7

Generated by: LCOV version 1.12