LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/util - result.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 8 8 100.0 % Date: 2026-06-30 10:35:26 Functions: 4 4 100.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::Result::isNull() const	14
cvc5::internal::Result::isUnknown() const	33578
cvc5::internal::Result::Result(cvc5::internal::Result const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)	49574
cvc5::internal::Result::getStatus() const	317296

Generated by: LCOV version 1.14