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-05-01 03:37:31
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