LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - logic_exception.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 5 5 100.0 % Date: 2026-09-29 09:33:19 Functions: 3 3 100.0 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::SafeLogicException::SafeLogicException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	4
cvc5::internal::LogicException::LogicException(char const*)	10
cvc5::internal::LogicException::LogicException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	54

Generated by: LCOV version 1.14