LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - illegal_checker.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 133 138 96.4 % Date: 2026-08-01 10:35:31 Functions: 3 3 100.0 % Branches: 103 117 88.0 %

Function Name	Hit count
cvc5::internal::smt::IllegalChecker::IllegalChecker(cvc5::internal::Env&)	29230
cvc5::internal::smt::IllegalChecker::checkAssertions(cvc5::internal::smt::Assertions&)	32474
cvc5::internal::smt::IllegalChecker::checkInternal(cvc5::internal::NodeTemplate<false>)	85985

Generated by: LCOV version 1.14