LCOV - code coverage report
Current view: top level - modal_formula/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 103 189 54.5 %
Date: 2020-01-19 00:33:35 Functions: 19 65 29.2 %
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
32.0%32.0%
32.0 % 32 / 100 24.6 % 15 / 61
regfrmtrans.cpp
79.8%79.8%
79.8 % 71 / 89 100.0 % 4 / 4

Generated by: LCOV version 1.13