LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing Hit Total Coverage
Test: coverage.info Lines: 274 287 95.5 %
Date: 2026-02-22 11:44:16 Functions: 88 92 95.7 %
Branches: 98 162 60.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
assertion_pipeline.cpp
96.2%96.2%
 96.2 % 127 / 132 94.1 % 16 / 17 60.0 % 78 / 130
assertion_pipeline.h
100.0%
 100.0 % 12 / 12 100.0 % 12 / 12 - 0 / 0
learned_literal_manager.cpp
94.7%94.7%
 94.7 % 18 / 19 100.0 % 3 / 3 66.7 % 4 / 6
preprocessing_pass.cpp
100.0%
 100.0 % 15 / 15 75.0 % 3 / 4 50.0 % 2 / 4
preprocessing_pass_context.cpp
91.1%91.1%
 91.1 % 41 / 45 90.9 % 10 / 11 100.0 % 6 / 6
preprocessing_pass_context.h
100.0%
 100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
preprocessing_pass_registry.cpp
94.9%94.9%
 94.9 % 56 / 59 97.6 % 41 / 42 50.0 % 8 / 16

Generated by: LCOV version 1.14