LCOV - code coverage report

Current view: top level - /buildbot/coverage/build/src/theory/bv Hit Total Coverage Test: coverage.info Lines: 3940 4601 85.6 % Date: 2025-03-26 11:57:54 Functions: 625 699 89.4 % Branches: 2200 3662 60.1 %

Filename	Line Coverage			Functions		Branches
bv_pp_assert.cpp		97.2 %	70 / 72	71.4 %	5 / 7	56.5 %	35 / 62
bv_solver.h		70.8 %	17 / 24	73.7 %	14 / 19	-	0 / 0
bv_solver_bitblast.cpp		95.3 %	164 / 172	100.0 %	17 / 17	69.0 %	98 / 142
bv_solver_bitblast.h		66.7 %	2 / 3	75.0 %	3 / 4	-	0 / 0
bv_solver_bitblast_internal.cpp		97.5 %	78 / 80	100.0 %	9 / 9	80.0 %	48 / 60
bv_solver_bitblast_internal.h		66.7 %	2 / 3	75.0 %	3 / 4	-	0 / 0
int_blaster.cpp		94.7 %	556 / 587	90.3 %	28 / 31	56.7 %	223 / 393
macro_rewrite_elaborator.cpp		78.2 %	190 / 243	80.0 %	8 / 10	49.5 %	108 / 218
proof_checker.cpp		78.3 %	54 / 69	100.0 %	3 / 3	42.9 %	42 / 98
theory_bv.cpp		95.7 %	178 / 186	100.0 %	26 / 26	62.5 %	100 / 160
theory_bv.h		0.0 %	0 / 1	0.0 %	0 / 1	-	0 / 0
theory_bv_rewrite_rules.h		20.5 %	46 / 224	91.9 %	170 / 185	17.6 %	39 / 221
theory_bv_rewrite_rules_constant_evaluation.h		88.8 %	143 / 161	91.7 %	33 / 36	52.5 %	105 / 200
theory_bv_rewrite_rules_core.h		99.3 %	150 / 151	100.0 %	20 / 20	81.5 %	75 / 92
theory_bv_rewrite_rules_normalization.h		86.0 %	559 / 650	92.7 %	38 / 41	70.3 %	441 / 627
theory_bv_rewrite_rules_operator_elimination.h		100.0 %	383 / 383	100.0 %	56 / 56	59.6 %	56 / 94
theory_bv_rewrite_rules_simplification.h		91.5 %	709 / 775	93.3 %	83 / 89	66.8 %	468 / 701
theory_bv_rewriter.cpp		98.4 %	369 / 375	98.2 %	55 / 56	84.5 %	191 / 226
theory_bv_type_rules.cpp		63.6 %	147 / 231	52.6 %	20 / 38	53.5 %	107 / 200
theory_bv_utils.cpp		57.2 %	107 / 187	70.7 %	29 / 41	32.6 %	45 / 138
theory_bv_utils.h		33.3 %	4 / 12	50.0 %	1 / 2	60.7 %	17 / 28
type_enumerator.h		100.0 %	12 / 12	100.0 %	4 / 4	100.0 %	2 / 2

Generated by: LCOV version 1.14