LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/base - modal_exception.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 4 8 50.0 % Date: 2026-01-31 12:26:27 Functions: 2 4 50.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::ModalException::ModalException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	0
cvc5::internal::RecoverableModalException::RecoverableModalException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	0
cvc5::internal::RecoverableModalException::RecoverableModalException(char const*)	10
cvc5::internal::ModalException::ModalException(char const*)	17

Generated by: LCOV version 1.14