LCOV - code coverage report

Current view: top level - data/test - print_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 250 275 90.9 % Date: 2024-05-01 03:37:31 Functions: 58 63 92.1 % Legend: Lines: hit not hit

Function Name	Hit count
_Z9test_termIN5mcrl24data13data_equationEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_Z9test_termIN5mcrl24data15data_expressionEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_Z9test_termIN5mcrl24data15function_symbolEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_Z9test_termIN5mcrl24data15sort_expressionEEvRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_Z9test_termRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZL16test_mod_invokerv	1
_ZL21problem_cases_invokerv	1
_ZL22test_bag_print_invokerv	1
_ZL22test_set_print_invokerv	1
_ZL23test_fset_print_invokerv	1
_ZL23test_list_print_invokerv	1
_ZL23test_precedence_invokerv	1
_ZL23test_set_print2_invokerv	1
_ZL29test_sort_expressions_invokerv	1
_ZL30test_abstraction_print_invokerv	1
_ZL30test_application_print_invokerv	1
_ZL34test_function_symbol_print_invokerv	1
_ZL34test_function_update_print_invokerv	1
_ZL35test_rewrite_rule_bag_print_invokerv	1
_ZL35test_rewrite_rule_int_print_invokerv	1
_ZL35test_rewrite_rule_nat_print_invokerv	1
_ZL35test_rewrite_rule_pos_print_invokerv	1
_ZL35test_rewrite_rule_set_print_invokerv	1
_ZL36test_rewrite_rule_bool_print_invokerv	1
_ZL36test_rewrite_rule_fbag_print_invokerv	1
_ZL36test_rewrite_rule_fset_print_invokerv	1
_ZL36test_rewrite_rule_real_print_invokerv	1
_ZL38test_standard_sort_expressions_invokerv	1
_ZL44printing_terms_takes_a_lot_of_memory_invokerv	1
_ZN13problem_cases11test_methodEv	1
_ZN14test_bag_print11test_methodEv	1
_ZN14test_set_print11test_methodEv	1
_ZN15test_fset_print11test_methodEv	1
_ZN15test_list_print11test_methodEv	1
_ZN15test_precedence11test_methodEv	1
_ZN15test_set_print211test_methodEv	1
_ZN21test_sort_expressions11test_methodEv	1
_ZN22test_abstraction_print11test_methodEv	1
_ZN22test_application_print11test_methodEv	1
_ZN26test_function_symbol_print11test_methodEv	1
_ZN26test_function_update_print11test_methodEv	1
_ZN27test_rewrite_rule_bag_print11test_methodEv	1
_ZN27test_rewrite_rule_int_print11test_methodEv	1
_ZN27test_rewrite_rule_nat_print11test_methodEv	1
_ZN27test_rewrite_rule_pos_print11test_methodEv	1
_ZN27test_rewrite_rule_set_print11test_methodEv	1
_ZN28test_rewrite_rule_bool_print11test_methodEv	1
_ZN28test_rewrite_rule_fbag_print11test_methodEv	1
_ZN28test_rewrite_rule_fset_print11test_methodEv	1
_ZN28test_rewrite_rule_real_print11test_methodEv	1
_ZN30test_standard_sort_expressions11test_methodEv	1
_ZN36printing_terms_takes_a_lot_of_memory11test_methodEv	1
_ZN8test_mod11test_methodEv	1
_Z11print_checkIN5mcrl24data15sort_expressionEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_Z11print_checkIN5mcrl24data6existsEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_Z11print_checkIN5mcrl24data6lambdaEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_Z11print_checkIN5mcrl24data14container_sortEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_Z11print_checkIN5mcrl24data6forallEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_Z11print_checkIN5mcrl24data10basic_sortEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	5
_Z11print_checkIN5mcrl24data15function_symbolEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	5
_Z21print_container_checkISt6vectorIN5mcrl24data13data_equationESaIS3_EEEbRKT_	9
_Z11print_checkIN5mcrl24data15data_expressionEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	17
_Z11print_checkIN5mcrl24data11applicationEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	40

Generated by: LCOV version 1.14