LCOV - coverage.info - /buildbot/coverage/build/src/expr/term_canonize.h

LCOV - code coverage report

Current view:	top level - buildbot/coverage/build/src/expr - term_canonize.h (source / functions)		Hit	Total	Coverage
Test:	coverage.info	Lines:	3	3	100.0 %
Date:	2026-04-08 10:18:47	Functions:	3	4	75.0 %
		Branches:	0	0	-


Function Name	Hit count
cvc5::internal::expr::TypeClassCallback::~TypeClassCallback()	0
cvc5::internal::expr::TypeClassCallback::~TypeClassCallback().2	6895
cvc5::internal::expr::TypeClassCallback::TypeClassCallback()	6903
cvc5::internal::expr::TermCanonize::~TermCanonize()	120417