LCOV - code coverage report

Current view: top level - buildbot/coverage/build/include/cvc5 - cvc5.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 15 15 100.0 % Date: 2026-05-01 10:46:14 Functions: 9 10 90.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::Plugin::~Plugin()	0
cvc5::CVC5ApiException::toStream(std::basic_ostream<char, std::char_traits<char> >&) const	4
cvc5::Plugin::~Plugin().2	28
cvc5::CVC5ApiUnsupportedException::CVC5ApiUnsupportedException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	56
cvc5::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::CVC5ApiException const&)	67
cvc5::CVC5ApiException::what() const	144
cvc5::CVC5ApiException::getMessage[abi:cxx11]() const	1096
cvc5::CVC5ApiOptionException::CVC5ApiOptionException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	11002
cvc5::CVC5ApiRecoverableException::CVC5ApiRecoverableException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	11140
cvc5::CVC5ApiException::CVC5ApiException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	13054

Generated by: LCOV version 1.14