LCOV - code coverage report

Current view: top level - utilities/include/mcrl2/utilities - indexed_set.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 20 20 100.0 % Date: 2024-05-01 03:37:31 Functions: 10 17 58.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl29utilities11indexed_setIN6sylvan4ldds3lddELb0ESt4hashIS4_ESt8equal_toIS4_ESaIS4_ESt5dequeIS4_S9_EE3endEm	0
_ZNK5mcrl29utilities11indexed_setINS_3lps12multi_actionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE3endEm	0
_ZNK5mcrl29utilities11indexed_setINS_3lps12multi_actionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE4sizeEm	0
_ZNK5mcrl29utilities11indexed_setINS_3lps12multi_actionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE5beginEm	0
_ZNK5mcrl29utilities11indexed_setINS_4data15data_expressionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE3endEm	0
_ZNK5mcrl29utilities11indexed_setINS_4data15data_expressionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE4sizeEm	0
_ZNK5mcrl29utilities11indexed_setINS_4data15data_expressionELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE5beginEm	0
_ZNK5mcrl29utilities11indexed_setIN6sylvan4ldds3lddELb0ESt4hashIS4_ESt8equal_toIS4_ESaIS4_ESt5dequeIS4_S9_EE4sizeEm	2
_ZN5mcrl29utilities11indexed_setIN6sylvan4ldds3lddELb0ESt4hashIS4_ESt8equal_toIS4_ESaIS4_ESt5dequeIS4_S9_EE3endEm	4
_ZNK5mcrl29utilities11indexed_setIN6sylvan4ldds3lddELb0ESt4hashIS4_ESt8equal_toIS4_ESaIS4_ESt5dequeIS4_S9_EE5beginEm	4
_ZNK5mcrl29utilities11indexed_setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEELb0ESt4hashIS7_ESt8equal_toIS7_ESaIS7_ESt5dequeIS7_SC_EE4sizeEm	6
_ZNK5mcrl29utilities11indexed_setIN7atermpp5atermELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE4sizeEm	58
_ZNK5mcrl29utilities11indexed_setINS_11pbes_system36propositional_variable_instantiationELb1ESt4hashIS3_ESt8equal_toIS3_ESaIS3_EN7atermpp5dequeIS3_SaINS9_6detail15reference_atermIS3_vEEEEEE5beginEm	2227
_ZNK5mcrl29utilities11indexed_setIN7atermpp18term_balanced_treeINS_4data15data_expressionEEELb1ESt4hashIS6_ESt8equal_toIS6_ESaIS6_ENS2_5dequeIS6_SaINS2_6detail15reference_atermIS6_vEEEEEE4sizeEm	3624
_ZNK5mcrl29utilities11indexed_setINS_11pbes_system36propositional_variable_instantiationELb1ESt4hashIS3_ESt8equal_toIS3_ESaIS3_EN7atermpp5dequeIS3_SaINS9_6detail15reference_atermIS3_vEEEEEE3endEm	9239
_ZNK5mcrl29utilities11indexed_setIN7atermpp15function_symbolELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ESt5dequeIS3_S8_EE4sizeEm	19561
_ZNK5mcrl29utilities11indexed_setIN7atermpp5atermELb0ESt4hashIS3_ESt8equal_toIS3_ESaIS3_ENS2_5dequeIS3_SaINS2_6detail15reference_atermIS3_vEEEEEE4sizeEm	70128

Generated by: LCOV version 1.14