LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/util - cardinality.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 105 143 73.4 % Date: 2026-04-17 10:42:04 Functions: 11 13 84.6 % Branches: 128 214 59.8 %

Function Name	Hit count
cvc5::internal::Cardinality::Cardinality(cvc5::internal::Integer const&)	2110
cvc5::internal::Cardinality::Cardinality(long)	29401
cvc5::internal::Cardinality::operator^=(cvc5::internal::Cardinality const&)	427
cvc5::internal::Cardinality::operator*=(cvc5::internal::Cardinality const&)	829
cvc5::internal::Cardinality::operator+=(cvc5::internal::Cardinality const&)	2042
cvc5::internal::CardinalityBeth::CardinalityBeth(cvc5::internal::Integer const&)	59145
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::CardinalityBeth)	1
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::Cardinality const&)	1
cvc5::internal::Cardinality::getBethNumber() const	8
cvc5::internal::Cardinality::getFiniteCardinality() const	7743
cvc5::internal::Cardinality::knownLessThanOrEqual(cvc5::internal::Cardinality const&) const	0
cvc5::internal::Cardinality::compare(cvc5::internal::Cardinality const&) const	18745
cvc5::internal::Cardinality::toString[abi:cxx11]() const	0

Generated by: LCOV version 1.14