LCOV - code coverage report

Current view: top level - smt/source - solver.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 162 0.0 % Date: 2024-04-19 03:43:27 Functions: 0 8 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23smt10smt_solver5solveERKN7atermpp9term_listINS_4data8variableEEERKNS4_15data_expressionERKNSt6chrono8durationIlSt5ratioILl1ELl1000000EEEE	0
_ZN5mcrl23smt10smt_solverC2ERKNS_4data18data_specificationE	0
_ZN5mcrl23smt29initialise_native_translationERKNS_4data18data_specificationE	0
_ZNK5mcrl23smt10smt_solver17execute_and_checkERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNSt6chrono8durationIlSt5ratioILl1ELl1000000EEEE	0
_ZNK5mcrl23smt6detailL14pp_translationMUlRKNS_4data15data_expressionERKSt8functionIFvNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEERKS6_IFvS3_EEE_clES5_SG_SK_	0
_ZNK5mcrl23smt6detailL18reconstruct_divmodMUlRKNS_4data15data_expressionERKSt8functionIFvNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEERKS6_IFvS3_EEE_clES5_SG_SK_	0
_ZNK5mcrl23smt6detailL19pp_real_translationMUlRKNS_4data15data_expressionERKSt8functionIFvNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEERKS6_IFvS3_EEE_clES5_SG_SK_	0
_ZZN5mcrl23smt29initialise_native_translationERKNS_4data18data_specificationEENKUlRKNS1_15sort_expressionEE_clES7_	0

Generated by: LCOV version 1.14