LCOV - code coverage report
Current view: top level - modal_formula/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 327 337 97.0 %
Date: 2024-03-08 02:52:28 Functions: 54 54 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
find_test.cpp
100.0%
100.0 % 24 / 24 100.0 % 5 / 5
monotonicity_test.cpp
100.0%
100.0 % 50 / 50 100.0 % 5 / 5
print_test.cpp
97.4%97.4%
97.4 % 37 / 38 100.0 % 3 / 3
state_formula_test.cpp
96.0%96.0%
96.0 % 216 / 225 100.0 % 41 / 41

Generated by: LCOV version 1.14