LCOV - code coverage report
Current view: top level - data/source/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1566 1881 83.3 %
Date: 2020-01-17 00:44:36 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 % 273 / 296 95.0 % 19 / 20
jittyc.cpp
84.4%84.4%
84.4 % 1038 / 1230 92.6 % 88 / 95
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
with_prover.cpp
4.2%4.2%
4.2 % 1 / 24 28.6 % 2 / 7

Generated by: LCOV version 1.13