LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing Hit Total Coverage
Test: coverage.info Lines: 289 302 95.7 %
Date: 2026-08-20 10:37:50 Functions: 91 95 95.8 %
Branches: 106 170 62.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
preprocessing_pass.cpp
100.0%
100.0 % 22 / 22 80.0 % 4 / 5 75.0 % 6 / 8
preprocessing_pass_context.cpp
91.1%91.1%
91.1 % 41 / 45 90.9 % 10 / 11 100.0 % 6 / 6
assertion_pipeline.cpp
96.4%96.4%
96.4 % 134 / 139 94.4 % 17 / 18 61.2 % 82 / 134
preprocessing_pass_registry.cpp
95.0%95.0%
95.0 % 57 / 60 97.7 % 42 / 43 50.0 % 8 / 16
learned_literal_manager.cpp
94.7%94.7%
94.7 % 18 / 19 100.0 % 3 / 3 66.7 % 4 / 6
preprocessing_pass_context.h
100.0%
100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
assertion_pipeline.h
100.0%
100.0 % 12 / 12 100.0 % 12 / 12 - 0 / 0

Generated by: LCOV version 1.14