LCOV - code coverage report
Current view: top level - modal_formula/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 138 236 58.5 %
Date: 2024-04-19 03:43:27 Functions: 15 68 22.1 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
modal_formula.cpp
30.9%30.9%
 30.9 % 34 / 110 19.7 % 13 / 66
regfrmtrans.cpp
82.5%82.5%
 82.5 % 104 / 126 100.0 % 2 / 2

Generated by: LCOV version 1.14