LCOV - code coverage report

Current view: top level - data/test - data_specification_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 429 458 93.7 % Date: 2024-05-04 03:44:52 Functions: 31 33 93.9 % Legend: Lines: hit not hit

Function Name	Hit count
_Z12test_aliasesv	0
_ZZ12test_aliasesvENKUlRKN5mcrl24data10basic_sortEE_clES3_	0
_Z10test_sortsv	1
_Z14test_equationsv	1
_Z14test_functionsv	1
_Z16test_constructorv	1
_Z17test_constructorsv	1
_Z18test_abuse_of_tailv	1
_Z18test_normalisationv	1
_Z18test_specificationv	1
_Z19test_system_definedv	1
_Z24test_is_certainly_finitev	1
_Z26test_utility_functionalityv	1
_Z30test_merge_data_specificationsv	1
_Z38test_standard_sorts_mappings_functionsv	1
_Z6searchISt3setIN5mcrl24data15sort_expressionESt4lessIS3_ESaIS3_EENS2_14container_sortEEbRKT_RKT0_	1
_Z8test_bkev	1
_Z9test_copyv	1
_ZL17test_main_invokerv	1
_ZN9test_main11test_methodEv	1
_ZZ10test_sortsvENKUlRKN5mcrl24data15sort_expressionEE_clES3_	1
_ZZ14test_equationsvENKUlRKN5mcrl24data13data_equationEE0_clES3_	1
_ZZ14test_equationsvENKUlRKN5mcrl24data13data_equationEE1_clES3_	1
_ZZ14test_equationsvENKUlRKN5mcrl24data13data_equationEE_clES3_	1
_ZZ14test_functionsvENKUlRKN5mcrl24data15function_symbolEE0_clES3_	1
_ZZ14test_functionsvENKUlRKN5mcrl24data15function_symbolEE1_clES3_	1
_ZZ17test_constructorsvENKUlRKN5mcrl24data15function_symbolEE0_clES3_	1
_ZZ17test_constructorsvENKUlRKN5mcrl24data15function_symbolEE1_clES3_	1
_Z12search_aliasRKSt6vectorIN5mcrl24data5aliasESaIS2_EERKNS1_15sort_expressionE	3
_ZZ14test_functionsvENKUlRKN5mcrl24data15function_symbolEE_clES3_	3
_ZZ17test_constructorsvENKUlRKN5mcrl24data15function_symbolEE_clES3_	3
_Z20compare_for_equalityRKN5mcrl24data18data_specificationES3_	15
_Z29detailed_compare_for_equalityRKN5mcrl24data18data_specificationES3_	15

Generated by: LCOV version 1.14