LCOV - code coverage report
Current view: top level - modal_formula/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 320 330 97.0 %
Date: 2019-05-18 00:50:05 Functions: 59 59 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
modal_formula_find_test.cpp
100.0%
100.0 % 30 / 30 100.0 % 6 / 6
monotonicity_test.cpp
100.0%
100.0 % 51 / 51 100.0 % 8 / 8
print_test.cpp
97.4%97.4%
97.4 % 38 / 39 100.0 % 6 / 6
state_formula_test.cpp
95.7%95.7%
95.7 % 201 / 210 100.0 % 39 / 39

Generated by: LCOV version 1.12