LCOV - code coverage report
Current view: top level - bes/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 524 535 97.9 %
Date: 2020-08-12 00:34:17 Functions: 89 89 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
bdd_test.cpp
100.0%
 100.0 % 23 / 23 100.0 % 5 / 5
bes_io_test.cpp
100.0%
 100.0 % 38 / 38 100.0 % 8 / 8
bes_test.cpp
100.0%
 100.0 % 105 / 105 100.0 % 8 / 8
boolean_expression_test.cpp
100.0%
 100.0 % 55 / 55 100.0 % 7 / 7
find_test.cpp
100.0%
 100.0 % 87 / 87 100.0 % 14 / 14
gauss_elimination_test.cpp
90.4%90.4%
 90.4 % 103 / 114 100.0 % 13 / 13
normal_form_test.cpp
100.0%
 100.0 % 19 / 19 100.0 % 6 / 6
pg_parse_test.cpp
100.0%
 100.0 % 27 / 27 100.0 % 9 / 9
solve_test.cpp
100.0%
 100.0 % 21 / 21 100.0 % 9 / 9
traverser_test.cpp
100.0%
 100.0 % 46 / 46 100.0 % 10 / 10

Generated by: LCOV version 1.13