LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 15 16 93.8 %
Date: 2024-03-08 02:52:28 Functions: 3 3 100.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
state_variable_context.h
92.9%92.9%
92.9 % 13 / 14 100.0 % 2 / 2
test_input.h
100.0%
100.0 % 2 / 2 100.0 % 1 / 1

Generated by: LCOV version 1.14