LCOV - code coverage report

Current view: top level - data/source/detail/prover - smt_lib_solver.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 56 0.0 % Date: 2024-04-19 03:43:27 Functions: 0 6 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_13z3_smt_solverEE6usableEv	0
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_13z3_smt_solverEE7executeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_14cvc_smt_solverEE6usableEv	0
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_14cvc_smt_solverEE7executeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_15ario_smt_solverEE6usableEv	0
_ZN5mcrl24data6detail6prover17binary_smt_solverINS2_15ario_smt_solverEE7executeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0

Generated by: LCOV version 1.14