LCOV - code coverage report

Current view: top level - lps/test - ltsmin_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 175 177 98.9 % Date: 2024-04-21 03:44:01 Functions: 12 12 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z11print_stateRKPimRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	14
_Z11test_ltsminRKN5mcrl23lps13specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESB_	2
_Z11test_ltsminv	1
_Z12print_vectorIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEET_SE_	6
_Z12print_vectorISt6vectorImSaImEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	6
_Z14test_data_typeRN5mcrl23lps14pins_data_typeE	2
_Z18test_serialisationv	1
_Z22test_dependency_matrixv	1
_ZL17test_main_invokerv	1
_ZN23state_callback_functionC2Em	26
_ZN23state_callback_functionclERKPiS2_i	12
_ZN9test_main11test_methodEv	1

Generated by: LCOV version 1.14