LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/util - cardinality_class.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 13 25 52.0 % Date: 2026-06-30 10:35:26 Functions: 2 4 50.0 % Branches: 20 27 74.1 %

Function Name	Hit count
cvc5::internal::toString(cvc5::internal::CardinalityClass)	0
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::CardinalityClass)	0
cvc5::internal::maxCardinalityClass(cvc5::internal::CardinalityClass, cvc5::internal::CardinalityClass)	52859
cvc5::internal::isCardinalityClassFinite(cvc5::internal::CardinalityClass, bool)	18045848

Generated by: LCOV version 1.14