LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - proof_logger.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 0 9 0.0 % Date: 2026-02-10 13:58:09 Functions: 0 9 0.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::ProofLogger::logTheoryLemma(cvc5::internal::NodeTemplate<true> const&)	0
cvc5::internal::ProofLogger::logSatRefutation()	0
cvc5::internal::ProofLogger::logTheoryLemmaProof(std::shared_ptr<cvc5::internal::ProofNode>&)	0
cvc5::internal::ProofLogger::logSatRefutationProof(std::shared_ptr<cvc5::internal::ProofNode>&)	0
cvc5::internal::ProofLogger::logCnfPreprocessInputs(std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&)	0
cvc5::internal::ProofLogger::logCnfPreprocessInputProofs(std::vector<std::shared_ptr<cvc5::internal::ProofNode>, std::allocator<std::shared_ptr<cvc5::internal::ProofNode> > >&)	0
cvc5::internal::ProofLogger::ProofLogger(cvc5::internal::Env&)	0
cvc5::internal::ProofLogger::~ProofLogger()	0
cvc5::internal::ProofLogger::~ProofLogger().2	0

Generated by: LCOV version 1.14