LCOV - coverage.info - /buildbot/coverage/build/src/decision/justify_stack.cpp

LCOV - code coverage report

Current view:	top level - buildbot/coverage/build/src/decision - justify_stack.cpp (source / functions)		Hit	Total	Coverage
Test:	coverage.info	Lines:	37	40	92.5 %
Date:	2026-04-24 10:45:42	Functions:	11	11	100.0 %
		Branches:	11	30	36.7 %


Function Name	Hit count
cvc5::internal::decision::JustifyStack::~JustifyStack()	41084
cvc5::internal::decision::JustifyStack::JustifyStack(cvc5::context::Context*)	41279
cvc5::internal::decision::JustifyStack::size() const	4178163
cvc5::internal::decision::JustifyStack::reset(cvc5::internal::NodeTemplate<false>)	29385690
cvc5::internal::decision::JustifyStack::clear()	29476686
cvc5::internal::decision::JustifyStack::popStack()	33182945
cvc5::internal::decision::JustifyStack::pushToStack(cvc5::internal::NodeTemplate<false>, cvc5::internal::prop::SatValue)	33563853
cvc5::internal::decision::JustifyStack::getOrAllocJustifyInfo(unsigned long)	33563853
cvc5::internal::decision::JustifyStack::hasCurrentAssertion() const	45567757
cvc5::internal::decision::JustifyStack::getCurrentAssertion() const	60063517
cvc5::internal::decision::JustifyStack::getCurrent()	124101043