LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/util - divisible.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 2 4 50.0 % Date: 2026-04-26 10:45:53 Functions: 2 3 66.7 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::Divisible const&)	0
cvc5::internal::Divisible::operator==(cvc5::internal::Divisible const&) const	686
cvc5::internal::DivisibleHashFunction::operator()(cvc5::internal::Divisible const&) const	1787

Generated by: LCOV version 1.14