LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/expr - emptybag.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 8 13 61.5 % Date: 2026-04-23 10:47:37 Functions: 6 8 75.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::EmptyBag::operator=(cvc5::internal::EmptyBag const&)	0
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::EmptyBag const&)	0
cvc5::internal::EmptyBag::EmptyBag(cvc5::internal::TypeNode const&)	21398
cvc5::internal::EmptyBag::EmptyBag(cvc5::internal::EmptyBag const&)	22920
cvc5::internal::EmptyBag::operator==(cvc5::internal::EmptyBag const&) const	32812
cvc5::internal::EmptyBag::~EmptyBag()	44275
cvc5::internal::EmptyBagHashFunction::operator()(cvc5::internal::EmptyBag const&) const	67312
cvc5::internal::EmptyBag::getType() const	167460

Generated by: LCOV version 1.14