LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/expr - node.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 54 62 87.1 % Date: 2025-02-17 13:53:58 Functions: 14 22 63.6 % Branches: 17 27 63.0 %

Function Name	Hit count
cvc5::internal::UnknownTypeException::UnknownTypeException(cvc5::internal::NodeTemplate<false>)	0
cvc5::internal::TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate()	0
cvc5::internal::NodeTemplate<false>::getSkolemId() const	0
cvc5::internal::NodeTemplate<false>::getSkolemIndices() const	0
cvc5::internal::NodeTemplate<false>::getInternalSkolemId() const	0
cvc5::internal::NodeTemplate<false>::isSkolem() const	0
cvc5::internal::TypeCheckingExceptionPrivate::getNode() const	0
cvc5::internal::TypeCheckingExceptionPrivate::toStream(std::basic_ostream<char, std::char_traits<char> >&) const	0
cvc5::internal::NodeTemplate<true>::getSkolemIndices() const	15
cvc5::internal::NodeTemplate<true>::isSkolem() const	27
cvc5::internal::TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(cvc5::internal::NodeTemplate<false>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)	245
cvc5::internal::TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate().2	245
cvc5::internal::NodeTemplate<true>::getSkolemId() const	16998
cvc5::internal::NodeTemplate<true>::hasName() const	67245
cvc5::internal::NodeTemplate<true>::getName[abi:cxx11]() const	76732
cvc5::internal::NodeTemplate<true>::getInternalSkolemId() const	1141040
cvc5::internal::NodeTemplate<false>::getName[abi:cxx11]() const	27794400
cvc5::internal::NodeTemplate<false>::hasName() const	28789300
cvc5::internal::NodeTemplate<true>::isConst() const	316633000
cvc5::internal::NodeTemplate<false>::isConst() const	331763000
std::hash<cvc5::internal::NodeTemplate<true> >::operator()(cvc5::internal::NodeTemplate<true> const&) const	3090180000
std::hash<cvc5::internal::NodeTemplate<false> >::operator()(cvc5::internal::NodeTemplate<false> const&) const	7043220000

Generated by: LCOV version 1.14