LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/preprocessing Hit Total Coverage
Test: coverage.info Lines: 247 257 96.1 %
Date: 2024-10-22 11:38:46 Functions: 85 89 95.5 %
Branches: 82 134 61.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
assertion_pipeline.cpp
96.5%96.5%
 96.5 % 111 / 115 93.8 % 15 / 16 62.2 % 61 / 98
assertion_pipeline.h
100.0%
 100.0 % 11 / 11 100.0 % 11 / 11 - 0 / 0
learned_literal_manager.cpp
100.0%
 100.0 % 17 / 17 100.0 % 3 / 3 66.7 % 4 / 6
preprocessing_pass.cpp
100.0%
 100.0 % 12 / 12 75.0 % 3 / 4 50.0 % 2 / 4
preprocessing_pass_context.cpp
90.0%90.0%
 90.0 % 36 / 40 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
96.5%96.5%
 96.5 % 55 / 57 97.6 % 40 / 41 45.0 % 9 / 20

Generated by: LCOV version 1.14