LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/options - language.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 18 20 90.0 % Date: 2026-03-14 10:40:08 Functions: 2 2 100.0 % Branches: 33 44 75.0 %

Function Name	Hit count
cvc5::internal::language::toLanguage(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	31151
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::Language)	75552

Generated by: LCOV version 1.14