LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - assertions.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 93 107 86.9 % Date: 2026-10-04 10:53:45 Functions: 12 13 92.3 % Branches: 67 92 72.8 %

Function Name	Hit count
cvc5::internal::smt::Assertions::~Assertions()	0
cvc5::internal::smt::Assertions::getAssumptions()	22
cvc5::internal::smt::Assertions::getCurrentAssertionListDefitions() const	2325
cvc5::internal::smt::Assertions::getAssertionListDefinitions() const	3982
cvc5::internal::smt::Assertions::addDefineFunDefinition(cvc5::internal::NodeTemplate<true>, bool)	8699
cvc5::internal::smt::Assertions::setAssumptions(std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&)	31686
cvc5::internal::smt::Assertions::~Assertions().2	36268
cvc5::internal::smt::Assertions::refresh()	40415
cvc5::internal::smt::Assertions::Assertions(cvc5::internal::Env&)	40900
cvc5::internal::smt::Assertions::getAssertionList() const	79296
cvc5::internal::smt::Assertions::assertFormula(cvc5::internal::NodeTemplate<true> const&)	144429
cvc5::internal::smt::Assertions::ensureBoolean(cvc5::internal::NodeTemplate<true> const&)	148219
cvc5::internal::smt::Assertions::addFormula(cvc5::internal::NodeTemplate<false>, bool, bool)	156930

Generated by: LCOV version 1.14