LCOV - code coverage report

Current view: top level - lts/test - compare.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 196 196 100.0 % Date: 2024-04-26 03:18:02 Functions: 51 51 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL18verum_test_invokerv	1
_ZL20test_sim_1_2_invokerv	1
_ZL20test_sim_1_3_invokerv	1
_ZL20test_sim_1_4_invokerv	1
_ZL21test_sim_2_2a_invokerv	1
_ZL22test_bisim_a_b_invokerv	1
_ZL22test_reflexive_invokerv	1
_ZL26test_ready_sim_1_2_invokerv	1
_ZL26test_ready_sim_1_3_invokerv	1
_ZL26test_ready_sim_1_4_invokerv	1
_ZL27test_ready_sim_2_2a_invokerv	1
_ZL31coupled_similarity_test_invokerv	1
_ZL31failures_inclusion_test_invokerv	1
_ZL32test_symmetric_trace_1_2_invokerv	1
_ZL32test_symmetric_trace_1_3_invokerv	1
_ZL32test_symmetric_trace_1_4_invokerv	1
_ZL33test_symmetric_trace_1_2a_invokerv	1
_ZL35properly_order_multiactions_invokerv	1
_ZL37laws_for_failures_equivalence_invokerv	1
_ZL37test_symmetric_weak_trace_2_3_invokerv	1
_ZL37test_symmetric_weak_trace_3_4_invokerv	1
_ZL38weak_failures_equivalence_test_invokerv	1
_ZL42failures_divergence_inclusion_test_invokerv	1
_ZL45failures_divergence_incomparable_test_invokerv	1
_ZN10verum_test11test_methodEv	1
_ZN12test_sim_1_211test_methodEv	1
_ZN12test_sim_1_311test_methodEv	1
_ZN12test_sim_1_411test_methodEv	1
_ZN13test_sim_2_2a11test_methodEv	1
_ZN14test_bisim_a_b11test_methodEv	1
_ZN14test_reflexive11test_methodEv	1
_ZN18test_ready_sim_1_211test_methodEv	1
_ZN18test_ready_sim_1_311test_methodEv	1
_ZN18test_ready_sim_1_411test_methodEv	1
_ZN19test_ready_sim_2_2a11test_methodEv	1
_ZN23coupled_similarity_test11test_methodEv	1
_ZN23failures_inclusion_test11test_methodEv	1
_ZN24test_symmetric_trace_1_211test_methodEv	1
_ZN24test_symmetric_trace_1_311test_methodEv	1
_ZN24test_symmetric_trace_1_411test_methodEv	1
_ZN25test_symmetric_trace_1_2a11test_methodEv	1
_ZN27properly_order_multiactions11test_methodEv	1
_ZN29laws_for_failures_equivalence11test_methodEv	1
_ZN29test_symmetric_weak_trace_2_311test_methodEv	1
_ZN29test_symmetric_weak_trace_3_411test_methodEv	1
_ZN30weak_failures_equivalence_test11test_methodEv	1
_ZN34failures_divergence_inclusion_test11test_methodEv	1
_ZN37failures_divergence_incomparable_test11test_methodEv	1
_ZL7compareRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_N5mcrl23lts15lts_equivalenceEb	41
_ZL16preorder_compareRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_N5mcrl23lts12lts_preorderE	89
_ZL9parse_autRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	260

Generated by: LCOV version 1.14