LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/prop - learned_db.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 43 61 70.5 % Date: 2026-04-06 10:24:45 Functions: 7 9 77.8 % Branches: 18 28 64.3 %

Function Name	Hit count
cvc5::internal::prop::LearnedDb::toStringDebug[abi:cxx11]() const	0
cvc5::internal::prop::LearnedDb::toStringDebugType[abi:cxx11](cvc5::modes::LearnedLitType) const	0
cvc5::internal::prop::LearnedDb::getNumLearnedLiterals(cvc5::modes::LearnedLitType) const	195
cvc5::internal::prop::LearnedDb::~LearnedDb()	449
cvc5::internal::prop::LearnedDb::LearnedDb(cvc5::context::Context*)	451
cvc5::internal::prop::LearnedDb::getLearnedLiterals(cvc5::modes::LearnedLitType) const	657
cvc5::internal::prop::LearnedDb::getLiteralSet(cvc5::modes::LearnedLitType)	791
cvc5::internal::prop::LearnedDb::addLearnedLiteral(cvc5::internal::NodeTemplate<true> const&, cvc5::modes::LearnedLitType)	791
cvc5::internal::prop::LearnedDb::getLiteralSet(cvc5::modes::LearnedLitType) const	852

Generated by: LCOV version 1.14