LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 192819 227548 84.7 % Date: 2026-02-27 11:41:18 Functions: 25069 28760 87.2 % Branches: 117127 209181 56.0 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.7 %	764 / 766	100.0 %	8 / 8	99.7 %	689 / 691
/buildbot/coverage/build/build/src/expr		64.0 %	3244 / 5067	77.8 %	354 / 455	63.5 %	1514 / 2383
/buildbot/coverage/build/build/src/main		32.1 %	584 / 1821	80.0 %	4 / 5	31.1 %	293 / 943
/buildbot/coverage/build/build/src/options		97.4 %	5739 / 5890	98.9 %	260 / 263	83.3 %	3176 / 3815
/buildbot/coverage/build/build/src/rewriter		99.9 %	1969 / 1970	100.0 %	16 / 16	50.0 %	1 / 2
/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 %	4006 / 4409	100.0 %	830 / 830	21.1 %	2573 / 12210
/buildbot/coverage/build/src/base		80.7 %	318 / 394	26.9 %	139 / 516	43.2 %	70 / 162
/buildbot/coverage/build/src/context		91.3 %	622 / 681	82.7 %	1897 / 2293	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		86.3 %	5399 / 6258	87.1 %	2497 / 2866	58.1 %	3034 / 5220
/buildbot/coverage/build/src/expr/algorithm		100.0 %	28 / 28	100.0 %	13 / 13	86.4 %	19 / 22
/buildbot/coverage/build/src/main		50.5 %	532 / 1053	57.9 %	44 / 76	44.9 %	277 / 617
/buildbot/coverage/build/src/options		82.3 %	265 / 322	98.0 %	149 / 152	65.2 %	116 / 178
/buildbot/coverage/build/src/parser		73.6 %	1976 / 2683	70.0 %	402 / 574	55.5 %	637 / 1148
/buildbot/coverage/build/src/parser/smt2		88.8 %	2466 / 2777	88.9 %	104 / 117	75.7 %	1088 / 1437
/buildbot/coverage/build/src/preprocessing		95.5 %	274 / 287	95.7 %	88 / 92	60.5 %	98 / 162
/buildbot/coverage/build/src/preprocessing/passes		84.6 %	4251 / 5027	95.6 %	197 / 206	60.6 %	2693 / 4442
/buildbot/coverage/build/src/preprocessing/util		47.6 %	576 / 1209	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		20.3 %	43 / 212	10.0 %	4 / 40	36.0 %	18 / 50
/buildbot/coverage/build/src/printer/smt2		95.0 %	1375 / 1448	95.0 %	76 / 80	89.4 %	753 / 842
/buildbot/coverage/build/src/proof		79.6 %	2948 / 3702	83.2 %	288 / 346	56.2 %	1693 / 3011
/buildbot/coverage/build/src/proof/alethe		85.5 %	1686 / 1972	80.4 %	41 / 51	56.0 %	862 / 1539
/buildbot/coverage/build/src/proof/alf		76.2 %	888 / 1165	76.5 %	52 / 68	68.3 %	507 / 742
/buildbot/coverage/build/src/proof/dot		0.0 %	0 / 247	0.0 %	0 / 18	0.0 %	0 / 152
/buildbot/coverage/build/src/proof/lfsc		88.7 %	1638 / 1846	88.7 %	86 / 97	71.1 %	826 / 1162
/buildbot/coverage/build/src/prop		85.3 %	2474 / 2901	83.5 %	238 / 285	56.0 %	1221 / 2180
/buildbot/coverage/build/src/prop/cadical		73.3 %	507 / 692	76.5 %	62 / 81	46.6 %	259 / 556
/buildbot/coverage/build/src/prop/minisat		75.5 %	600 / 795	85.1 %	57 / 67	46.3 %	324 / 700
/buildbot/coverage/build/src/prop/minisat/core		82.5 %	1133 / 1373	87.3 %	151 / 173	63.4 %	797 / 1258
/buildbot/coverage/build/src/prop/minisat/mtl		94.2 %	228 / 242	97.6 %	201 / 206	61.5 %	139 / 226
/buildbot/coverage/build/src/prop/minisat/simp		77.0 %	344 / 447	83.3 %	30 / 36	69.7 %	290 / 416
/buildbot/coverage/build/src/prop/minisat/utils		22.4 %	22 / 98	57.9 %	11 / 19	4.5 %	3 / 66
/buildbot/coverage/build/src/rewriter		92.8 %	3083 / 3323	88.2 %	90 / 102	57.4 %	1809 / 3152
/buildbot/coverage/build/src/smt		85.4 %	5660 / 6631	89.6 %	474 / 529	66.6 %	3803 / 5710
/buildbot/coverage/build/src/theory		85.9 %	8947 / 10417	87.0 %	967 / 1112	64.3 %	5443 / 8471
/buildbot/coverage/build/src/theory/arith		81.5 %	3244 / 3979	83.4 %	262 / 314	60.3 %	2088 / 3463
/buildbot/coverage/build/src/theory/arith/linear		61.1 %	8727 / 14285	71.6 %	1010 / 1410	43.6 %	5314 / 12189
/buildbot/coverage/build/src/theory/arith/nl		74.2 %	1913 / 2578	83.4 %	136 / 163	53.3 %	1096 / 2055
/buildbot/coverage/build/src/theory/arith/nl/coverings		79.7 %	1053 / 1321	83.6 %	107 / 128	59.1 %	603 / 1020
/buildbot/coverage/build/src/theory/arith/nl/ext		87.9 %	1650 / 1877	97.4 %	75 / 77	63.8 %	1036 / 1625
/buildbot/coverage/build/src/theory/arith/nl/icp		46.0 %	195 / 424	71.4 %	15 / 21	29.0 %	103 / 355
/buildbot/coverage/build/src/theory/arith/nl/transcendental		93.3 %	1336 / 1432	94.0 %	63 / 67	56.9 %	788 / 1385
/buildbot/coverage/build/src/theory/arith/rewriter		92.0 %	424 / 461	97.8 %	44 / 45	64.7 %	278 / 430
/buildbot/coverage/build/src/theory/arrays		76.5 %	1945 / 2544	76.6 %	105 / 137	58.9 %	1346 / 2285
/buildbot/coverage/build/src/theory/bags		82.9 %	2656 / 3204	82.4 %	229 / 278	50.2 %	1079 / 2148
/buildbot/coverage/build/src/theory/booleans		90.6 %	1706 / 1884	97.9 %	94 / 96	59.8 %	1352 / 2260
/buildbot/coverage/build/src/theory/builtin		81.0 %	614 / 758	83.6 %	51 / 61	53.6 %	436 / 813
/buildbot/coverage/build/src/theory/bv		87.6 %	4348 / 4964	90.2 %	636 / 705	61.3 %	2382 / 3883
/buildbot/coverage/build/src/theory/bv/bitblast		85.2 %	726 / 852	79.0 %	83 / 105	49.4 %	388 / 786
/buildbot/coverage/build/src/theory/datatypes		87.2 %	4400 / 5047	89.1 %	212 / 238	61.1 %	2979 / 4875
/buildbot/coverage/build/src/theory/ff		89.4 %	1288 / 1441	91.2 %	155 / 170	61.7 %	781 / 1265
/buildbot/coverage/build/src/theory/fp		80.8 %	2022 / 2501	84.9 %	242 / 285	46.3 %	1158 / 2500
/buildbot/coverage/build/src/theory/quantifiers		86.1 %	12979 / 15075	86.4 %	916 / 1060	63.9 %	8946 / 14004
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.4 %	2553 / 2823	86.9 %	166 / 191	65.9 %	1921 / 2915
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.3 %	2278 / 2581	87.4 %	167 / 191	65.4 %	1617 / 2472
/buildbot/coverage/build/src/theory/quantifiers/fmf		85.3 %	1589 / 1862	93.0 %	106 / 114	61.2 %	1041 / 1702
/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.6 %	9412 / 10999	89.5 %	631 / 705	57.8 %	5778 / 10000
/buildbot/coverage/build/src/theory/sep		87.8 %	1182 / 1346	86.7 %	65 / 75	62.5 %	863 / 1381
/buildbot/coverage/build/src/theory/sets		88.4 %	4629 / 5236	87.5 %	266 / 304	63.1 %	2793 / 4423
/buildbot/coverage/build/src/theory/strings		84.9 %	12420 / 14627	88.4 %	579 / 655	65.5 %	8630 / 13171
/buildbot/coverage/build/src/theory/uf		85.5 %	5852 / 6848	86.8 %	376 / 433	60.9 %	3871 / 6361
/buildbot/coverage/build/src/util		82.2 %	3003 / 3652	80.4 %	1115 / 1387	55.7 %	1279 / 2296
/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 %	1685 / 1697	100.0 %	64 / 64	50.0 %	42 / 84
/buildbot/coverage/build/test/unit		72.2 %	83 / 115	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 %	436 / 441	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 %	2344 / 2346	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 %	156 / 156	96.3 %	26 / 27	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		90.1 %	109 / 121	85.5 %	53 / 62	50.0 %	50 / 100
/buildbot/coverage/build/test/unit/theory		99.5 %	6586 / 6616	99.9 %	1646 / 1648	50.8 %	3797 / 7468
/buildbot/coverage/build/test/unit/util		100.0 %	2139 / 2139	100.0 %	455 / 455	49.6 %	2320 / 4676

Generated by: LCOV version 1.14