LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/proof - proof_set.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 7 7 100.0 % Date: 2026-05-07 10:47:41 Functions: 6 6 100.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::LazyTreeProofGenerator* cvc5::internal::CDProofSet<cvc5::internal::LazyTreeProofGenerator>::allocateProof<>()	71
cvc5::internal::LazyCDProof* cvc5::internal::CDProofSet<cvc5::internal::LazyCDProof>::allocateProof<decltype(nullptr), cvc5::context::Context*&>(decltype(nullptr)&&, cvc5::context::Context*&)	4859
cvc5::internal::CDProofSet<cvc5::internal::LazyTreeProofGenerator>::CDProofSet(cvc5::internal::Env&, cvc5::context::Context*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)	7476
cvc5::internal::CDProofSet<cvc5::internal::CDProof>::CDProofSet(cvc5::internal::Env&, cvc5::context::Context*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)	14950
cvc5::internal::CDProof* cvc5::internal::CDProofSet<cvc5::internal::CDProof>::allocateProof<cvc5::context::UserContext*>(cvc5::context::UserContext*&&)	22986
cvc5::internal::CDProofSet<cvc5::internal::LazyCDProof>::CDProofSet(cvc5::internal::Env&, cvc5::context::Context*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)	52942

Generated by: LCOV version 1.14