LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/proof - trust_id.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 54 109 49.5 % Date: 2026-07-09 10:36:00 Functions: 4 4 100.0 % Branches: 35 78 44.9 %

Function Name	Hit count
cvc5::internal::toString(cvc5::internal::TrustId)	1554
cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::TrustId)	1554
cvc5::internal::getTrustId(cvc5::internal::NodeTemplate<false>, cvc5::internal::TrustId&)	90757
cvc5::internal::mkTrustId(cvc5::internal::NodeManager*, cvc5::internal::TrustId)	292017

Generated by: LCOV version 1.14