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: 6 6 100.0 %
Date: 2024-10-06 11:37:27 Functions: 2 2 100.0 %
Branches: 0 0 -

Function Name Sort by function name Hit count Sort by hit count
cvc5::internal::LogicException::LogicException(char const*) 7
cvc5::internal::LogicException::LogicException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) 52

Generated by: LCOV version 1.14