LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/theory - assertion.h (source / functions) Hit Total Coverage Test: coverage.info Lines: 4 5 80.0 % Date: 2026-03-11 10:41:32 Functions: 2 3 66.7 % Branches: 0 0 -

Function Name	Hit count
cvc5::internal::theory::Assertion::operator cvc5::internal::NodeTemplate<true>() const	0
cvc5::internal::theory::Assertion::operator cvc5::internal::NodeTemplate<false>() const	25211754
cvc5::internal::theory::Assertion::Assertion(cvc5::internal::NodeTemplate<false>, bool)	34373433

Generated by: LCOV version 1.14