LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 194476 229490 84.7 % Date: 2026-04-09 10:29:23 Functions: 25293 28977 87.3 % Branches: 118722 212216 55.9 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.7 %	776 / 778	100.0 %	8 / 8	99.7 %	699 / 701
/buildbot/coverage/build/build/src/expr		64.2 %	3250 / 5061	78.1 %	357 / 457	63.6 %	1514 / 2381
/buildbot/coverage/build/build/src/main		32.2 %	588 / 1825	80.0 %	4 / 5	31.2 %	295 / 945
/buildbot/coverage/build/build/src/options		97.5 %	5744 / 5894	98.9 %	260 / 263	83.3 %	3178 / 3817
/buildbot/coverage/build/build/src/rewriter		99.9 %	1970 / 1971	100.0 %	16 / 16	50.0 %	725 / 1450
/buildbot/coverage/build/build/src/theory		95.7 %	155 / 162	100.0 %	7 / 7	92.9 %	91 / 98
/buildbot/coverage/build/include/cvc5		100.0 %	15 / 15	90.0 %	9 / 10	-	0 / 0
/buildbot/coverage/build/src/api/c		96.4 %	3679 / 3816	98.9 %	539 / 545	59.8 %	3517 / 5884
/buildbot/coverage/build/src/api/cpp		90.9 %	3995 / 4397	100.0 %	840 / 840	21.1 %	2575 / 12210
/buildbot/coverage/build/src/base		80.6 %	303 / 376	26.9 %	139 / 516	43.2 %	70 / 162
/buildbot/coverage/build/src/context		91.0 %	569 / 625	82.8 %	1896 / 2291	52.2 %	169 / 324
/buildbot/coverage/build/src/decision		94.3 %	417 / 442	87.0 %	47 / 54	63.6 %	264 / 415
/buildbot/coverage/build/src/expr		87.0 %	5407 / 6215	87.2 %	2502 / 2868	58.2 %	3061 / 5259
/buildbot/coverage/build/src/expr/algorithm		100.0 %	28 / 28	100.0 %	13 / 13	86.4 %	19 / 22
/buildbot/coverage/build/src/main		51.7 %	519 / 1004	57.9 %	44 / 76	44.9 %	277 / 617
/buildbot/coverage/build/src/options		82.7 %	272 / 329	98.0 %	149 / 152	65.2 %	116 / 178
/buildbot/coverage/build/src/parser		73.6 %	1994 / 2711	70.1 %	403 / 575	55.5 %	651 / 1174
/buildbot/coverage/build/src/parser/smt2		88.9 %	2472 / 2782	88.9 %	104 / 117	75.7 %	1090 / 1439
/buildbot/coverage/build/src/preprocessing		95.5 %	274 / 287	95.7 %	88 / 92	60.5 %	98 / 162
/buildbot/coverage/build/src/preprocessing/passes		85.1 %	4346 / 5107	95.9 %	208 / 217	60.8 %	2775 / 4562
/buildbot/coverage/build/src/preprocessing/util		47.6 %	576 / 1210	61.5 %	59 / 96	41.9 %	315 / 751
/buildbot/coverage/build/src/printer		54.8 %	280 / 511	25.0 %	23 / 92	74.6 %	179 / 240
/buildbot/coverage/build/src/printer/ast		19.1 %	40 / 209	10.0 %	4 / 40	36.0 %	18 / 50
/buildbot/coverage/build/src/printer/smt2		95.0 %	1371 / 1443	95.0 %	76 / 80	89.5 %	748 / 836
/buildbot/coverage/build/src/proof		79.9 %	3012 / 3768	83.2 %	288 / 346	56.4 %	1743 / 3092
/buildbot/coverage/build/src/proof/alethe		84.2 %	1861 / 2210	81.8 %	45 / 55	55.9 %	944 / 1690
/buildbot/coverage/build/src/proof/dot		0.0 %	0 / 247	0.0 %	0 / 18	0.0 %	0 / 152
/buildbot/coverage/build/src/proof/eo		76.3 %	893 / 1171	76.5 %	52 / 68	68.3 %	511 / 748
/buildbot/coverage/build/src/proof/lfsc		88.8 %	1644 / 1852	88.8 %	87 / 98	71.1 %	828 / 1164
/buildbot/coverage/build/src/prop		86.0 %	2485 / 2889	85.5 %	241 / 282	56.0 %	1223 / 2185
/buildbot/coverage/build/src/prop/cadical		71.8 %	504 / 702	72.4 %	63 / 87	49.1 %	254 / 517
/buildbot/coverage/build/src/prop/minisat		75.2 %	597 / 794	86.8 %	59 / 68	46.3 %	324 / 700
/buildbot/coverage/build/src/prop/minisat/core		82.7 %	1163 / 1407	87.4 %	152 / 174	63.2 %	797 / 1262
/buildbot/coverage/build/src/prop/minisat/mtl		94.3 %	264 / 280	97.6 %	201 / 206	61.5 %	139 / 226
/buildbot/coverage/build/src/prop/minisat/simp		76.7 %	353 / 460	83.8 %	31 / 37	68.3 %	295 / 432
/buildbot/coverage/build/src/prop/minisat/utils		24.2 %	24 / 99	57.9 %	11 / 19	4.5 %	3 / 66
/buildbot/coverage/build/src/rewriter		92.8 %	3096 / 3336	88.3 %	91 / 103	57.3 %	1814 / 3164
/buildbot/coverage/build/src/smt		85.3 %	5654 / 6628	89.6 %	476 / 531	66.5 %	3802 / 5714
/buildbot/coverage/build/src/theory		85.6 %	9023 / 10541	87.1 %	977 / 1122	64.0 %	5448 / 8506
/buildbot/coverage/build/src/theory/arith		81.2 %	3243 / 3992	83.6 %	266 / 318	60.1 %	2139 / 3561
/buildbot/coverage/build/src/theory/arith/linear		60.9 %	8757 / 14384	71.7 %	1014 / 1414	43.5 %	5321 / 12225
/buildbot/coverage/build/src/theory/arith/nl		74.0 %	1915 / 2588	83.9 %	141 / 168	53.4 %	1109 / 2077
/buildbot/coverage/build/src/theory/arith/nl/coverings		79.7 %	1058 / 1327	83.6 %	107 / 128	59.1 %	605 / 1024
/buildbot/coverage/build/src/theory/arith/nl/ext		88.0 %	1654 / 1880	96.2 %	77 / 80	63.5 %	1058 / 1667
/buildbot/coverage/build/src/theory/arith/nl/icp		45.7 %	195 / 427	71.4 %	15 / 21	29.0 %	103 / 355
/buildbot/coverage/build/src/theory/arith/nl/transcendental		93.8 %	1365 / 1456	94.0 %	63 / 67	56.9 %	825 / 1449
/buildbot/coverage/build/src/theory/arith/rewriter		91.6 %	427 / 466	97.8 %	44 / 45	64.7 %	278 / 430
/buildbot/coverage/build/src/theory/arrays		76.2 %	1957 / 2568	77.1 %	108 / 140	58.9 %	1349 / 2291
/buildbot/coverage/build/src/theory/bags		83.2 %	2667 / 3204	83.7 %	257 / 307	50.3 %	1084 / 2156
/buildbot/coverage/build/src/theory/booleans		90.6 %	1709 / 1887	97.9 %	94 / 96	59.8 %	1358 / 2272
/buildbot/coverage/build/src/theory/builtin		81.6 %	621 / 761	84.6 %	55 / 65	53.8 %	441 / 819
/buildbot/coverage/build/src/theory/bv		87.7 %	4410 / 5030	90.4 %	638 / 706	60.7 %	2410 / 3968
/buildbot/coverage/build/src/theory/bv/bitblast		83.6 %	729 / 872	79.4 %	85 / 107	49.1 %	396 / 806
/buildbot/coverage/build/src/theory/datatypes		87.2 %	4479 / 5139	89.3 %	218 / 244	61.1 %	2986 / 4885
/buildbot/coverage/build/src/theory/ff		89.3 %	1295 / 1450	91.2 %	155 / 170	62.0 %	788 / 1271
/buildbot/coverage/build/src/theory/fp		83.2 %	2082 / 2503	86.8 %	244 / 281	46.4 %	1211 / 2612
/buildbot/coverage/build/src/theory/quantifiers		86.2 %	13362 / 15510	86.9 %	946 / 1089	63.8 %	9121 / 14286
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.6 %	2616 / 2888	85.9 %	171 / 199	66.2 %	1940 / 2929
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.1 %	2287 / 2595	87.4 %	167 / 191	65.4 %	1617 / 2472
/buildbot/coverage/build/src/theory/quantifiers/fmf		84.5 %	1658 / 1962	93.0 %	107 / 115	61.2 %	1046 / 1708
/buildbot/coverage/build/src/theory/quantifiers/ieval		86.4 %	605 / 700	82.2 %	60 / 73	57.4 %	393 / 685
/buildbot/coverage/build/src/theory/quantifiers/sygus		85.5 %	9417 / 11010	89.5 %	650 / 726	57.7 %	5802 / 10048
/buildbot/coverage/build/src/theory/sep		87.4 %	1202 / 1375	86.8 %	66 / 76	62.3 %	865 / 1389
/buildbot/coverage/build/src/theory/sets		88.1 %	4668 / 5296	88.1 %	282 / 320	63.0 %	2808 / 4459
/buildbot/coverage/build/src/theory/strings		84.8 %	12482 / 14716	88.3 %	587 / 665	65.3 %	8675 / 13277
/buildbot/coverage/build/src/theory/uf		85.0 %	6022 / 7085	87.3 %	386 / 442	60.9 %	3884 / 6375
/buildbot/coverage/build/src/util		82.5 %	3019 / 3658	80.5 %	1124 / 1396	55.5 %	1296 / 2334
/buildbot/coverage/build/test/api/c		94.1 %	208 / 221	100.0 %	10 / 10	59.4 %	38 / 64
/buildbot/coverage/build/test/api/c/issues		100.0 %	29 / 29	100.0 %	1 / 1	66.7 %	4 / 6
/buildbot/coverage/build/test/api/cpp		90.1 %	219 / 243	100.0 %	13 / 13	52.3 %	45 / 86
/buildbot/coverage/build/test/api/cpp/issues		99.3 %	1687 / 1699	100.0 %	64 / 64	50.0 %	42 / 84
/buildbot/coverage/build/test/unit		70.9 %	83 / 117	40.4 %	36 / 89	0.0 %	0 / 7
/buildbot/coverage/build/test/unit/api/c		99.7 %	7050 / 7068	99.5 %	1846 / 1855	50.4 %	2612 / 5180
/buildbot/coverage/build/test/unit/api/cpp		99.9 %	5907 / 5913	99.4 %	1555 / 1564	45.8 %	4688 / 10234
/buildbot/coverage/build/test/unit/base		100.0 %	111 / 111	100.0 %	43 / 43	50.4 %	120 / 238
/buildbot/coverage/build/test/unit/context		98.9 %	431 / 436	98.1 %	101 / 103	51.5 %	437 / 848
/buildbot/coverage/build/test/unit/main		100.0 %	81 / 81	100.0 %	34 / 34	58.3 %	14 / 24
/buildbot/coverage/build/test/unit/node		99.9 %	2345 / 2347	99.8 %	506 / 507	50.3 %	2254 / 4480
/buildbot/coverage/build/test/unit/options		93.2 %	150 / 161	96.6 %	28 / 29	63.0 %	63 / 100
/buildbot/coverage/build/test/unit/parser		100.0 %	168 / 168	96.8 %	30 / 31	56.9 %	33 / 58
/buildbot/coverage/build/test/unit/preprocessing		97.1 %	1592 / 1640	100.0 %	155 / 155	50.1 %	674 / 1344
/buildbot/coverage/build/test/unit/printer		100.0 %	31 / 31	100.0 %	13 / 13	85.0 %	17 / 20
/buildbot/coverage/build/test/unit/proof		100.0 %	19 / 19	100.0 %	4 / 4	50.0 %	20 / 40
/buildbot/coverage/build/test/unit/prop		88.6 %	109 / 123	85.5 %	53 / 62	50.0 %	50 / 100
/buildbot/coverage/build/test/unit/theory		99.5 %	6597 / 6627	99.9 %	1646 / 1648	50.8 %	3809 / 7492
/buildbot/coverage/build/test/unit/util		100.0 %	2145 / 2145	100.0 %	459 / 459	49.6 %	2325 / 4686

Generated by: LCOV version 1.14