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 Sort by function name Hit count Sort by 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