LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/expr - kind_map.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 7 7 100.0 % Date: 2026-08-13 10:35:43 Functions: 5 5 100.0 % Branches: 5 6 83.3 %

Function Name	Hit count
cvc5::internal::KindMap::reset(cvc5::internal::kind::Kind_t)	1
cvc5::internal::KindMap::set(cvc5::internal::kind::Kind_t)	3881048
cvc5::internal::KindMap::operator[](cvc5::internal::kind::Kind_t) const	8768921
cvc5::internal::KindMap::test(cvc5::internal::kind::Kind_t) const	11823661
cvc5::internal::KindMap::fromKind(cvc5::internal::kind::Kind_t)	15704710

Generated by: LCOV version 1.14