LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/expr - node_traversal.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 59 59 100.0 % Date: 2026-02-04 12:23:02 Functions: 12 13 92.3 % Branches: 26 34 76.5 %

Function Name	Hit count
cvc5::internal::NodeDfsIterator::NodeDfsIterator(cvc5::internal::VisitOrder)::{lambda(cvc5::internal::NodeTemplate<false>)#1}::operator()(cvc5::internal::NodeTemplate<false>) const	0
cvc5::internal::NodeDfsIterator::operator++(int)	6
cvc5::internal::NodeDfsIterable::NodeDfsIterable(cvc5::internal::NodeTemplate<false>, cvc5::internal::VisitOrder, std::function<bool (cvc5::internal::NodeTemplate<false>)>)	169515
cvc5::internal::NodeDfsIterator::NodeDfsIterator(cvc5::internal::VisitOrder)	169515
cvc5::internal::NodeDfsIterator::NodeDfsIterator(cvc5::internal::NodeTemplate<false>, cvc5::internal::VisitOrder, std::function<bool (cvc5::internal::NodeTemplate<false>)>)	169515
cvc5::internal::NodeDfsIterable::end() const	169515
cvc5::internal::NodeDfsIterable::begin() const	169515
cvc5::internal::NodeDfsIterator::operator++()	173056
cvc5::internal::NodeDfsIterator::operator*()	173062
cvc5::internal::NodeDfsIterator::operator!=(cvc5::internal::NodeDfsIterator&)	342554
cvc5::internal::NodeDfsIterator::operator==(cvc5::internal::NodeDfsIterator&)	342565
cvc5::internal::NodeDfsIterator::advanceToNextVisit()	760538
cvc5::internal::NodeDfsIterator::initializeIfUninitialized()	1031250

Generated by: LCOV version 1.14