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-05-04 03:44:52
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