LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/preprocessing - preprocessing_pass.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 15 15 100.0 % Date: 2026-02-22 11:44:16 Functions: 3 4 75.0 % Branches: 2 4 50.0 %

Function Name	Hit count
cvc5::internal::preprocessing::PreprocessingPass::~PreprocessingPass()	0
cvc5::internal::preprocessing::PreprocessingPass::apply(cvc5::internal::preprocessing::AssertionPipeline*)	334116
cvc5::internal::preprocessing::PreprocessingPass::~PreprocessingPass().2	1808932
cvc5::internal::preprocessing::PreprocessingPass::PreprocessingPass(cvc5::internal::preprocessing::PreprocessingPassContext*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	1821352

Generated by: LCOV version 1.14