LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/test/unit/theory Hit Total Coverage
Test: coverage.info Lines: 6586 6616 99.5 %
Date: 2026-02-24 12:04:47 Functions: 1646 1648 99.9 %
Branches: 3797 7468 50.8 %

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 % 76 / 76 100.0 % 9 / 9 50.0 % 51 / 102
evaluator_white.cpp
100.0%
 100.0 % 87 / 87 100.0 % 16 / 16 50.0 % 64 / 128
logic_info_white.cpp
100.0%
 100.0 % 1225 / 1225 100.0 % 16 / 16 50.0 % 1032 / 2064
regexp_operation_black.cpp
100.0%
 100.0 % 108 / 108 100.0 % 15 / 15 50.0 % 28 / 56
sequences_rewriter_white.cpp
100.0%
 100.0 % 1005 / 1005 100.0 % 80 / 80 50.0 % 213 / 426
strings_rewriter_white.cpp
100.0%
 100.0 % 17 / 17 100.0 % 4 / 4 50.0 % 14 / 28
theory_arith_coverings_white.cpp
96.6%96.6%
 96.6 % 311 / 322 97.1 % 66 / 68 53.2 % 33 / 62
theory_arith_rewriter_black.cpp
100.0%
 100.0 % 73 / 73 100.0 % 8 / 8 50.0 % 18 / 36
theory_arith_white.cpp
100.0%
 100.0 % 56 / 56 100.0 % 10 / 10 48.4 % 30 / 62
theory_bags_normal_form_white.cpp
100.0%
 100.0 % 247 / 247 100.0 % 47 / 47 50.3 % 174 / 346
theory_bags_rewriter_white.cpp
99.8%99.8%
 99.8 % 485 / 486 100.0 % 62 / 62 49.8 % 422 / 848
theory_bags_type_rules_white.cpp
100.0%
 100.0 % 64 / 64 100.0 % 17 / 17 48.8 % 41 / 84
theory_black.cpp
100.0%
 100.0 % 85 / 85 100.0 % 4 / 4 50.0 % 72 / 144
theory_bv_black.cpp
100.0%
 100.0 % 96 / 96 100.0 % 38 / 38 55.6 % 50 / 90
theory_bv_int_blaster_white.cpp
100.0%
 100.0 % 160 / 160 100.0 % 21 / 21 49.7 % 157 / 316
theory_engine_white.cpp
98.8%98.8%
 98.8 % 82 / 83 100.0 % 13 / 13 51.0 % 53 / 104
theory_ff_core_black.cpp
100.0%
 100.0 % 25 / 25 100.0 % 5 / 5 50.0 % 23 / 46
theory_ff_multi_roots_black.cpp
100.0%
 100.0 % 156 / 156 100.0 % 29 / 29 50.0 % 40 / 80
theory_ff_parse_white.cpp
100.0%
 100.0 % 161 / 161 100.0 % 16 / 16 50.0 % 71 / 142
theory_ff_split_gb_black.cpp
99.3%99.3%
 99.3 % 133 / 134 100.0 % 20 / 20 59.9 % 91 / 152
theory_ff_uni_roots_black.cpp
100.0%
 100.0 % 146 / 146 100.0 % 13 / 13 50.0 % 24 / 48
theory_quantifiers_bv_instantiator_white.cpp
100.0%
 100.0 % 310 / 310 100.0 % 21 / 21 50.0 % 397 / 794
theory_quantifiers_bv_inverter_white.cpp
98.3%98.3%
 98.3 % 932 / 948 100.0 % 1029 / 1029 69.1 % 141 / 204
theory_sets_rewriter_white.cpp
100.0%
 100.0 % 38 / 38 100.0 % 5 / 5 50.0 % 18 / 36
theory_sets_type_enumerator_white.cpp
100.0%
 100.0 % 89 / 89 100.0 % 17 / 17 52.3 % 67 / 128
theory_sets_type_rules_white.cpp
100.0%
 100.0 % 22 / 22 100.0 % 8 / 8 47.4 % 18 / 38
theory_strings_skolem_cache_black.cpp
100.0%
 100.0 % 16 / 16 100.0 % 4 / 4 50.0 % 13 / 26
theory_strings_utils_white.cpp
100.0%
 100.0 % 21 / 21 100.0 % 4 / 4 50.0 % 17 / 34
theory_strings_word_white.cpp
100.0%
 100.0 % 91 / 91 100.0 % 4 / 4 50.0 % 155 / 310
theory_uf_ho_black.cpp
100.0%
 100.0 % 18 / 18 100.0 % 4 / 4 50.0 % 15 / 30
theory_white.cpp
100.0%
 100.0 % 38 / 38 100.0 % 13 / 13 50.0 % 20 / 40
type_enumerator_white.cpp
100.0%
 100.0 % 213 / 213 100.0 % 28 / 28 50.6 % 235 / 464

Generated by: LCOV version 1.14