LCOV - code coverage report
Current view: top level - data/source/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1928 2334 82.6 %
Date: 2024-03-08 02:52:28 Functions: 121 136 89.0 %
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
91.4%91.4%
91.4 % 381 / 417 95.0 % 19 / 20
jittyc.cpp
82.9%82.9%
82.9 % 1245 / 1502 90.8 % 79 / 87
rewrite.cpp
61.5%61.5%
61.5 % 179 / 291 73.9 % 17 / 23
strategy.cpp
99.2%99.2%
99.2 % 123 / 124 100.0 % 6 / 6

Generated by: LCOV version 1.14