LCOV - code coverage report
Current view: top level - modal_formula/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 87 160 54.4 %
Date: 2019-05-18 00:50:05 Functions: 17 61 27.9 %
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
20.9%20.9%
20.9 % 14 / 67 22.8 % 13 / 57
regfrmtrans.cpp
78.5%78.5%
78.5 % 73 / 93 100.0 % 4 / 4

Generated by: LCOV version 1.12