LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bags Hit Total Coverage
Test: coverage.info Lines: 2656 3204 82.9 %
Date: 2026-02-21 11:58:00 Functions: 229 278 82.4 %
Branches: 1079 2148 50.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
bag_reduction.cpp
98.4%98.4%
 98.4 % 125 / 127 66.7 % 4 / 6 33.3 % 8 / 24
bag_solver.cpp
99.3%99.3%
 99.3 % 299 / 301 95.5 % 21 / 22 71.9 % 146 / 203
bags_rewriter.cpp
90.1%90.1%
 90.1 % 354 / 393 96.4 % 27 / 28 58.1 % 205 / 353
bags_statistics.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
bags_utils.cpp
94.1%94.1%
 94.1 % 460 / 489 93.2 % 55 / 59 60.6 % 203 / 335
infer_info.cpp
45.2%45.2%
 45.2 % 19 / 42 42.9 % 3 / 7 16.7 % 3 / 18
infer_info.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
inference_generator.cpp
89.7%89.7%
 89.7 % 594 / 662 86.8 % 33 / 38 34.9 % 97 / 278
inference_manager.cpp
76.9%76.9%
 76.9 % 10 / 13 100.0 % 2 / 2 50.0 % 1 / 2
rewrites.cpp
0.0%
 0.0 % 0 / 69 0.0 % 0 / 2 0.0 % 0 / 61
solver_state.cpp
86.8%86.8%
 86.8 % 99 / 114 77.8 % 14 / 18 60.9 % 28 / 46
strategy.cpp
82.6%82.6%
 82.6 % 38 / 46 88.9 % 8 / 9 37.1 % 13 / 35
term_registry.cpp
27.3%27.3%
 27.3 % 3 / 11 50.0 % 1 / 2 0.0 % 0 / 2
theory_bags.cpp
90.8%90.8%
 90.8 % 327 / 360 96.6 % 28 / 29 58.5 % 161 / 275
theory_bags.h
75.0%75.0%
 75.0 % 3 / 4 50.0 % 1 / 2 - 0 / 0
theory_bags_type_enumerator.cpp
100.0%
 100.0 % 37 / 37 100.0 % 7 / 7 50.0 % 6 / 12
theory_bags_type_rules.cpp
53.4%53.4%
 53.4 % 284 / 532 52.3 % 23 / 44 41.3 % 208 / 504

Generated by: LCOV version 1.14