LCOV - code coverage report
Current view: top level - bes/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 520 528 98.5 %
Date: 2019-07-19 02:46:18 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
92.6%92.6%
 92.6 % 100 / 108 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 % 45 / 45 100.0 % 10 / 10

Generated by: LCOV version 1.12