LCOV - code coverage report
Current view: top level - bes/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 532 540 98.5 %
Date: 2019-06-19 00:50:04 Functions: 81 81 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 % 24 / 24 100.0 % 4 / 4
normal_form_test.cpp
100.0%
100.0 % 20 / 20 100.0 % 5 / 5
boolean_expression_test.cpp
100.0%
100.0 % 56 / 56 100.0 % 6 / 6
bes_test.cpp
100.0%
100.0 % 106 / 106 100.0 % 7 / 7
bes_io_test.cpp
100.0%
100.0 % 39 / 39 100.0 % 7 / 7
pg_parse_test.cpp
100.0%
100.0 % 28 / 28 100.0 % 8 / 8
traverser_test.cpp
100.0%
100.0 % 46 / 46 100.0 % 9 / 9
solve_test.cpp
100.0%
100.0 % 24 / 24 100.0 % 10 / 10
gauss_elimination_test.cpp
92.7%92.7%
92.7 % 101 / 109 100.0 % 12 / 12
find_test.cpp
100.0%
100.0 % 88 / 88 100.0 % 13 / 13

Generated by: LCOV version 1.12