LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/cegqi Hit Total Coverage
Test: coverage.info Lines: 2619 2888 90.7 %
Date: 2026-04-21 10:32:34 Functions: 171 199 85.9 %
Branches: 1943 2929 66.3 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
ceg_arith_instantiator.cpp
88.9%88.9%
 88.9 % 503 / 566 100.0 % 15 / 15 62.5 % 439 / 702
ceg_arith_instantiator.h
50.0%50.0%
 50.0 % 1 / 2 66.7 % 2 / 3 75.0 % 15 / 20
ceg_bv_instantiator.cpp
85.3%85.3%
 85.3 % 318 / 373 90.9 % 20 / 22 58.1 % 244 / 420
ceg_bv_instantiator.h
66.7%66.7%
 66.7 % 2 / 3 75.0 % 3 / 4 - 0 / 0
ceg_bv_instantiator_utils.cpp
100.0%
 100.0 % 183 / 183 100.0 % 6 / 6 63.0 % 184 / 292
ceg_dt_instantiator.cpp
91.8%91.8%
 91.8 % 67 / 73 100.0 % 6 / 6 65.1 % 54 / 83
ceg_dt_instantiator.h
66.7%66.7%
 66.7 % 2 / 3 75.0 % 3 / 4 - 0 / 0
ceg_instantiator.cpp
93.9%93.9%
 93.9 % 920 / 980 90.7 % 39 / 43 73.0 % 691 / 946
ceg_instantiator.h
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3 - 0 / 0
ceg_utils.cpp
55.3%55.3%
 55.3 % 42 / 76 66.7 % 8 / 12 40.3 % 25 / 62
ceg_utils.h
100.0%
 100.0 % 13 / 13 87.5 % 7 / 8 100.0 % 4 / 4
inst_strategy_cegqi.cpp
96.4%96.4%
 96.4 % 296 / 307 95.7 % 22 / 23 75.0 % 153 / 204
inst_strategy_cegqi.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
instantiator.cpp
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
instantiator.h
56.8%56.8%
 56.8 % 21 / 37 60.0 % 15 / 25 - 0 / 0
nested_qe.cpp
90.8%90.8%
 90.8 % 79 / 87 85.7 % 6 / 7 53.3 % 32 / 60
nested_qe.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
vts_term_cache.cpp
92.1%92.1%
 92.1 % 152 / 165 80.0 % 8 / 10 75.0 % 102 / 136
vts_term_cache.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0

Generated by: LCOV version 1.14