LCOV - code coverage report
Current view: top level - lps/test - ltsmin_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 169 171 98.8 %
Date: 2020-10-20 00:45:57 Functions: 14 14 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_GLOBAL__sub_I_ltsmin_test.cpp 1
_Z11test_ltsminv 1
_Z18test_serialisationv 1
_Z22test_dependency_matrixv 1
_Z41__static_initialization_and_destruction_0ii 1
_ZL17test_main_invokerv 1
_ZN9test_main11test_methodEv 1
_Z11test_ltsminRKN5mcrl23lps13specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESB_ 2
_Z14test_data_typeRN5mcrl23lps14pins_data_typeE 2
_Z12print_vectorIN9__gnu_cxx17__normal_iteratorIPKmSt6vectorImSaImEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEET_SE_ 6
_Z12print_vectorISt6vectorImSaImEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 6
_ZN23state_callback_functionclERKPiS2_i 12
_Z11print_stateRKPimRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 14
_ZN23state_callback_functionC2Em 26

Generated by: LCOV version 1.13