LCOV - code coverage report
Current view: top level - modal_formula/include/mcrl2/modal_formula/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 16 17 94.1 %
Date: 2019-06-20 00:49:45 Functions: 7 7 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
test_input.h
100.0%
100.0 % 2 / 2 100.0 % 1 / 1
state_variable_context.h
93.3%93.3%
93.3 % 14 / 15 100.0 % 6 / 6

Generated by: LCOV version 1.12