LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/theory Hit Total Coverage
Test: coverage.info Lines: 6223 6250 99.6 %
Date: 2026-02-05 12:22:59 Functions: 850 852 99.8 %
Branches: 1969 3808 51.7 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_poly_white.cpp
100.0%
 100.0 % 74 / 74 100.0 % 5 / 5 50.0 % 18 / 36
evaluator_white.cpp
100.0%
 100.0 % 75 / 75 100.0 % 8 / 8 50.0 % 8 / 16
logic_info_white.cpp
100.0%
 100.0 % 1221 / 1221 100.0 % 10 / 10 50.0 % 634 / 1268
regexp_operation_black.cpp
100.0%
 100.0 % 104 / 104 100.0 % 9 / 9 50.0 % 7 / 14
sequences_rewriter_white.cpp
100.0%
 100.0 % 944 / 944 100.0 % 42 / 42 50.0 % 46 / 92
strings_rewriter_white.cpp
100.0%
 100.0 % 14 / 14 100.0 % 2 / 2 50.0 % 2 / 4
theory_arith_coverings_white.cpp
96.8%96.8%
 96.8 % 307 / 317 95.0 % 38 / 40 53.2 % 33 / 62
theory_arith_rewriter_black.cpp
100.0%
 100.0 % 65 / 65 100.0 % 4 / 4 50.0 % 18 / 36
theory_arith_white.cpp
100.0%
 100.0 % 55 / 55 100.0 % 6 / 6 46.2 % 12 / 26
theory_bags_normal_form_white.cpp
100.0%
 100.0 % 235 / 235 100.0 % 25 / 25 51.3 % 40 / 78
theory_bags_rewriter_white.cpp
100.0%
 100.0 % 404 / 404 100.0 % 32 / 32 49.5 % 213 / 430
theory_bags_type_rules_white.cpp
100.0%
 100.0 % 54 / 54 100.0 % 9 / 9 52.5 % 21 / 40
theory_black.cpp
100.0%
 100.0 % 84 / 84 100.0 % 2 / 2 50.0 % 34 / 68
theory_bv_black.cpp
100.0%
 100.0 % 88 / 88 100.0 % 20 / 20 72.7 % 16 / 22
theory_bv_int_blaster_white.cpp
100.0%
 100.0 % 155 / 155 100.0 % 11 / 11 49.3 % 75 / 152
theory_engine_white.cpp
98.8%98.8%
 98.8 % 79 / 80 100.0 % 7 / 7 55.0 % 11 / 20
theory_ff_core_black.cpp
100.0%
 100.0 % 24 / 24 100.0 % 3 / 3 50.0 % 6 / 12
theory_ff_multi_roots_black.cpp
100.0%
 100.0 % 144 / 144 100.0 % 15 / 15 50.0 % 40 / 80
theory_ff_parse_white.cpp
100.0%
 100.0 % 138 / 138 100.0 % 8 / 8 50.0 % 71 / 142
theory_ff_split_gb_black.cpp
100.0%
 100.0 % 124 / 124 100.0 % 12 / 12 73.4 % 47 / 64
theory_ff_uni_roots_black.cpp
100.0%
 100.0 % 116 / 116 100.0 % 7 / 7 50.0 % 24 / 48
theory_quantifiers_bv_instantiator_white.cpp
100.0%
 100.0 % 294 / 294 100.0 % 13 / 13 50.0 % 179 / 358
theory_quantifiers_bv_inverter_white.cpp
98.3%98.3%
 98.3 % 925 / 941 100.0 % 517 / 517 75.0 % 114 / 152
theory_sets_rewriter_white.cpp
100.0%
 100.0 % 36 / 36 100.0 % 3 / 3 50.0 % 5 / 10
theory_sets_type_enumerator_white.cpp
100.0%
 100.0 % 82 / 82 100.0 % 9 / 9 52.9 % 54 / 102
theory_sets_type_rules_white.cpp
100.0%
 100.0 % 17 / 17 100.0 % 4 / 4 50.0 % 13 / 26
theory_strings_skolem_cache_black.cpp
100.0%
 100.0 % 14 / 14 100.0 % 2 / 2 50.0 % 1 / 2
theory_strings_utils_white.cpp
100.0%
 100.0 % 18 / 18 100.0 % 2 / 2 50.0 % 4 / 8
theory_strings_word_white.cpp
100.0%
 100.0 % 90 / 90 100.0 % 2 / 2 50.0 % 71 / 142
theory_uf_ho_black.cpp
100.0%
 100.0 % 16 / 16 100.0 % 2 / 2 50.0 % 3 / 6
theory_white.cpp
100.0%
 100.0 % 38 / 38 100.0 % 7 / 7 50.0 % 10 / 20
type_enumerator_white.cpp
100.0%
 100.0 % 189 / 189 100.0 % 14 / 14 51.1 % 139 / 272

Generated by: LCOV version 1.14