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-03-14 10:40:08 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*)	334770
cvc5::internal::preprocessing::PreprocessingPass::~PreprocessingPass().2	1811704
cvc5::internal::preprocessing::PreprocessingPass::PreprocessingPass(cvc5::internal::preprocessing::PreprocessingPassContext*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)	1824124

Generated by: LCOV version 1.14