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-09-20 09:48:35 Functions: 11 11 100.0 % Branches: 11 30 36.7 %

Function Name	Hit count
cvc5::internal::decision::JustifyStack::~JustifyStack()	21141
cvc5::internal::decision::JustifyStack::JustifyStack(cvc5::context::Context*)	21147
cvc5::internal::decision::JustifyStack::size() const	3337994
cvc5::internal::decision::JustifyStack::reset(cvc5::internal::NodeTemplate<false>)	45279816
cvc5::internal::decision::JustifyStack::clear()	45354708
cvc5::internal::decision::JustifyStack::popStack()	48466311
cvc5::internal::decision::JustifyStack::pushToStack(cvc5::internal::NodeTemplate<false>, cvc5::internal::prop::SatValue)	48617810
cvc5::internal::decision::JustifyStack::getOrAllocJustifyInfo(unsigned long)	48617810
cvc5::internal::decision::JustifyStack::hasCurrentAssertion() const	60167610
cvc5::internal::decision::JustifyStack::getCurrentAssertion() const	93329746
cvc5::internal::decision::JustifyStack::getCurrent()	168577413

Generated by: LCOV version 1.14