LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/expr - node_traversal.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 5 5 100.0 % Date: 2026-06-27 10:35:39 Functions: 5 5 100.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::NodeDfsIterator::NodeDfsIterator(cvc5::internal::NodeDfsIterator&&)	20
cvc5::internal::NodeDfsIterable::NodeDfsIterable(cvc5::internal::NodeTemplate<false>, cvc5::internal::VisitOrder, std::function<bool (cvc5::internal::NodeTemplate<false>)>)::{default arg#1}::{lambda(cvc5::internal::NodeTemplate<false>)#1}::operator()(cvc5::internal::NodeTemplate<false>) const	45
cvc5::internal::NodeDfsIterator::NodeDfsIterator(cvc5::internal::NodeDfsIterator const&)	58
cvc5::internal::NodeDfsIterable::~NodeDfsIterable()	169577
cvc5::internal::NodeDfsIterator::~NodeDfsIterator()	339232

Generated by: LCOV version 1.14