LCOV - code coverage report

Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage Test: coverage.info Lines: 4379 4998 87.6 % Date: 2026-04-01 10:41:05 Functions: 638 706 90.4 % Branches: 2386 3924 60.8 %

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 %	641 / 687	93.8 %	30 / 32	55.7 %	255 / 458
macro_rewrite_elaborator.cpp		92.0 %	254 / 276	90.9 %	10 / 11	55.0 %	142 / 258
proof_checker.cpp		78.6 %	55 / 70	100.0 %	3 / 3	42.9 %	42 / 98
theory_bv.cpp		95.1 %	195 / 205	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.0 %	46 / 192	93.5 %	172 / 184	19.8 %	38 / 192
theory_bv_rewrite_rules_constant_evaluation.h		88.2 %	157 / 178	91.7 %	33 / 36	52.5 %	105 / 200
theory_bv_rewrite_rules_core.h		100.0 %	160 / 160	100.0 %	20 / 20	81.9 %	77 / 94
theory_bv_rewrite_rules_normalization.h		91.8 %	606 / 660	97.4 %	38 / 39	70.8 %	444 / 627
theory_bv_rewrite_rules_operator_elimination.h		100.0 %	409 / 409	100.0 %	56 / 56	59.6 %	56 / 94
theory_bv_rewrite_rules_simplification.h		91.8 %	765 / 833	93.5 %	87 / 93	66.8 %	495 / 741
theory_bv_rewriter.cpp		97.9 %	425 / 434	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.9 %	109 / 206	69.0 %	29 / 42	31.1 %	46 / 148
theory_bv_utils.h		30.8 %	4 / 13	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