| Current view: | top level - modal_formula/test | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 341 | 351 | 97.2 % | |
| Date: | 2024-04-19 03:43:27 | Functions: | 58 | 58 | 100.0 % | |
| Legend: | Rating: low: < 75 % medium: >= 75 % high: >= 90 % | |||||
|
| LCOV - code coverage report | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
Filename  |
Line Coverage |
Functions |
||||
| print_test.cpp |
|
97.4 % | 37 / 38 | 100.0 % | 3 / 3 | |
| find_test.cpp |
|
100.0 % | 24 / 24 | 100.0 % | 5 / 5 | |
| monotonicity_test.cpp |
|
100.0 % | 50 / 50 | 100.0 % | 5 / 5 | |
| state_formula_test.cpp |
|
96.2 % | 230 / 239 | 100.0 % | 45 / 45 | |
|
| Generated by: LCOV version 1.14 |
