LCOV - code coverage report

Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage Test: coverage.info Lines: 4410 5030 87.7 % Date: 2026-04-19 10:41:43 Functions: 638 706 90.4 % Branches: 2410 3968 60.7 %

Filename	Line Coverage			Functions		Branches
bv_pp_assert.cpp		97.5 %	79 / 81	75.0 %	6 / 8	56.9 %	41 / 72
bv_solver.h		69.0 %	20 / 29	73.7 %	14 / 19	-	0 / 0
bv_solver_bitblast.cpp		95.2 %	179 / 188	100.0 %	17 / 17	67.8 %	99 / 146
bv_solver_bitblast.h		66.7 %	2 / 3	75.0 %	3 / 4	-	0 / 0
bv_solver_bitblast_internal.cpp		97.6 %	81 / 83	100.0 %	9 / 9	80.6 %	50 / 62
bv_solver_bitblast_internal.h		66.7 %	2 / 3	75.0 %	3 / 4	-	0 / 0
int_blaster.cpp		93.3 %	639 / 685	93.8 %	30 / 32	55.5 %	261 / 470
macro_rewrite_elaborator.cpp		92.0 %	254 / 276	90.9 %	10 / 11	55.0 %	142 / 258
proof_checker.cpp		78.9 %	56 / 71	100.0 %	3 / 3	42.9 %	42 / 98
theory_bv.cpp		95.1 %	193 / 203	100.0 %	26 / 26	64.0 %	110 / 172
theory_bv.h		0.0 %	0 / 1	0.0 %	0 / 1	-	0 / 0
theory_bv_rewrite_rules.h		24.2 %	46 / 190	93.5 %	172 / 184	19.8 %	38 / 192
theory_bv_rewrite_rules_constant_evaluation.h		88.4 %	160 / 181	91.7 %	33 / 36	52.5 %	105 / 200
theory_bv_rewrite_rules_core.h		100.0 %	176 / 176	100.0 %	20 / 20	81.9 %	77 / 94
theory_bv_rewrite_rules_normalization.h		91.6 %	603 / 658	97.4 %	38 / 39	70.8 %	444 / 627
theory_bv_rewrite_rules_operator_elimination.h		100.0 %	422 / 422	100.0 %	56 / 56	57.6 %	68 / 118
theory_bv_rewrite_rules_simplification.h		92.0 %	771 / 838	93.5 %	87 / 93	66.9 %	501 / 749
theory_bv_rewriter.cpp		97.9 %	423 / 432	98.2 %	56 / 57	83.2 %	218 / 262
theory_bv_type_rules.cpp		64.6 %	177 / 274	53.8 %	21 / 39	53.5 %	136 / 254
theory_bv_utils.cpp		52.7 %	109 / 207	69.0 %	29 / 42	31.1 %	46 / 148
theory_bv_utils.h		31.2 %	5 / 16	50.0 %	1 / 2	68.2 %	30 / 44
type_enumerator.h		100.0 %	13 / 13	100.0 %	4 / 4	100.0 %	2 / 2

Generated by: LCOV version 1.14