LCOV - code coverage report

Current view: top level - smt/include/mcrl2/smt - native_translation.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 34 0.0 % Date: 2024-04-21 03:44:01 Functions: 0 10 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23smt19native_translations13set_ambiguousERKNS_4data15function_symbolE	0
_ZN5mcrl23smt19native_translations20set_alternative_nameERKNS_4data15function_symbolERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23smt19native_translations21set_native_definitionERKNS_4data15function_symbolE	0
_ZN5mcrl23smt19native_translations21set_native_definitionERKNS_4data15function_symbolERKNS2_13data_equationE	0
_ZN5mcrl23smt19native_translations21set_native_definitionERKNS_4data15function_symbolERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23smt19native_translationsC2Ev	0
_ZNK5mcrl23smt19native_translations12is_ambiguousERKNS_4data15function_symbolE	0
_ZNK5mcrl23smt19native_translations21has_native_definitionERKNS_4data13data_equationE	0
_ZNK5mcrl23smt19native_translations21has_native_definitionERKNS_4data15function_symbolE	0
_ZNK5mcrl23smt19native_translations23find_native_translationB5cxx11ERKNS_4data11applicationE	0

Generated by: LCOV version 1.14