LCOV - code coverage report
Current view:
top level
-
data/test
- rewriter_test.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
124
140
88.6 %
Date:
2024-05-04 03:44:52
Functions:
15
16
93.8 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_Z15allocation_testv
0
_Z18make_data_rewriterRKN5mcrl24data18data_specificationE
1
_Z22simplify_rewriter_testv
1
_Z22test_lambda_expressionv
1
_Z26test_equality_on_functionsv
1
_Z29test_enumeration_of_functionsv
1
_Z32one_point_rule_preprocessor_testv
1
_Z5test1v
1
_Z5test2v
1
_Z5test4v
1
_Z5test5v
1
_Z6make_ARN5mcrl24data8rewriterE
1
_ZL17test_main_invokerv
1
_ZN9test_main11test_methodEv
1
_ZN1AC2ERN5mcrl24data8rewriterE
2
_Z16test_expressionsIN5mcrl24data8rewriterEEvT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESB_SB_RKNS1_18data_specificationESB_
5
Generated by:
LCOV version 1.14