LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/quantifiers/cegqi Hit Total Coverage
Test: coverage.info Lines: 2390 2645 90.4 %
Date: 2024-09-05 11:14:48 Functions: 165 190 86.8 %
Branches: 1780 2710 65.7 %

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.1%88.1%
 88.1 % 475 / 539 100.0 % 14 / 14 63.4 % 389 / 614
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.4%85.4%
 85.4 % 303 / 355 90.0 % 18 / 20 56.3 % 233 / 414
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 % 171 / 171 100.0 % 6 / 6 62.5 % 170 / 272
ceg_dt_instantiator.cpp
90.6%90.6%
 90.6 % 58 / 64 100.0 % 6 / 6 68.8 % 44 / 64
ceg_dt_instantiator.h
66.7%66.7%
 66.7 % 2 / 3 75.0 % 3 / 4 - 0 / 0
ceg_instantiator.cpp
94.0%94.0%
 94.0 % 821 / 873 97.4 % 37 / 38 71.1 % 627 / 882
ceg_instantiator.h
100.0%
 100.0 % 5 / 5 100.0 % 3 / 3 - 0 / 0
ceg_utils.cpp
54.7%54.7%
 54.7 % 41 / 75 63.6 % 7 / 11 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
97.0%97.0%
 97.0 % 259 / 267 95.7 % 22 / 23 74.2 % 144 / 194
inst_strategy_cegqi.h
100.0%
 100.0 % 2 / 2 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
89.7%89.7%
 89.7 % 70 / 78 85.7 % 6 / 7 53.6 % 30 / 56
nested_qe.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
vts_term_cache.cpp
92.0%92.0%
 92.0 % 138 / 150 80.0 % 8 / 10 77.3 % 99 / 128
vts_term_cache.h
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2 - 0 / 0

Generated by: LCOV version 1.14