LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/bags Hit Total Coverage
Test: coverage.info Lines: 2390 2878 83.0 %
Date: 2024-11-17 12:40:58 Functions: 225 273 82.4 %
Branches: 982 1970 49.8 %

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 % 121 / 123 66.7 % 4 / 6 33.3 % 8 / 24
bag_solver.cpp
99.2%99.2%
 99.2 % 259 / 261 95.5 % 21 / 22 71.1 % 140 / 197
bags_rewriter.cpp
93.5%93.5%
 93.5 % 288 / 308 96.2 % 25 / 26 58.5 % 189 / 323
bags_statistics.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
bags_utils.cpp
93.8%93.8%
 93.8 % 424 / 452 93.2 % 55 / 59 60.2 % 197 / 327
infer_info.cpp
44.7%44.7%
 44.7 % 17 / 38 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
90.0%90.0%
 90.0 % 565 / 628 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 / 61 0.0 % 0 / 2 0.0 % 0 / 53
solver_state.cpp
86.7%86.7%
 86.7 % 91 / 105 77.8 % 14 / 18 59.1 % 26 / 44
strategy.cpp
82.2%82.2%
 82.2 % 37 / 45 88.9 % 8 / 9 37.1 % 13 / 35
term_registry.cpp
36.4%36.4%
 36.4 % 4 / 11 50.0 % 1 / 2 0.0 % 0 / 2
theory_bags.cpp
91.0%91.0%
 91.0 % 303 / 333 96.6 % 28 / 29 57.3 % 153 / 267
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 % 35 / 35 100.0 % 7 / 7 50.0 % 6 / 12
theory_bags_type_rules.cpp
50.1%50.1%
 50.1 % 229 / 457 51.2 % 21 / 41 38.4 % 149 / 388

Generated by: LCOV version 1.14