LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 199842 233346 85.6 % Date: 2026-08-29 10:29:40 Functions: 26323 29863 88.1 % Branches: 127528 233185 54.7 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.7 %	783 / 785	100.0 %	8 / 8	99.7 %	704 / 706
/buildbot/coverage/build/build/src/expr		64.8 %	3284 / 5069	78.2 %	359 / 459	64.4 %	1534 / 2383
/buildbot/coverage/build/build/src/main		32.9 %	608 / 1847	80.0 %	4 / 5	31.9 %	305 / 956
/buildbot/coverage/build/build/src/options		97.5 %	5810 / 5959	98.9 %	260 / 263	83.3 %	3208 / 3849
/buildbot/coverage/build/build/src/rewriter		99.9 %	1976 / 1977	100.0 %	16 / 16	50.0 %	727 / 1454
/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.8 %	4149 / 4287	98.9 %	543 / 549	34.7 %	3667 / 10582
/buildbot/coverage/build/src/api/cpp		90.9 %	4021 / 4422	100.0 %	841 / 841	20.8 %	2523 / 12128
/buildbot/coverage/build/src/base		81.2 %	312 / 384	27.1 %	141 / 520	43.8 %	71 / 162
/buildbot/coverage/build/src/context		91.0 %	569 / 625	83.0 %	1901 / 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 %	5412 / 6222	87.2 %	2503 / 2870	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		55.8 %	589 / 1055	61.9 %	52 / 84	47.6 %	302 / 634
/buildbot/coverage/build/src/options		83.5 %	269 / 322	98.0 %	150 / 153	66.1 %	121 / 183
/buildbot/coverage/build/src/parser		73.7 %	1995 / 2707	70.1 %	403 / 575	55.6 %	653 / 1174
/buildbot/coverage/build/src/parser/smt2		88.9 %	2476 / 2786	88.9 %	104 / 117	75.8 %	1096 / 1445
/buildbot/coverage/build/src/preprocessing		95.7 %	289 / 302	95.8 %	91 / 95	62.4 %	106 / 170
/buildbot/coverage/build/src/preprocessing/passes		85.3 %	4424 / 5184	95.9 %	213 / 222	61.0 %	2832 / 4643
/buildbot/coverage/build/src/preprocessing/util		47.7 %	577 / 1210	61.5 %	59 / 96	42.1 %	316 / 751
/buildbot/coverage/build/src/printer		55.0 %	282 / 513	25.0 %	23 / 92	74.7 %	180 / 241
/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.1 %	1373 / 1443	95.0 %	76 / 80	89.7 %	752 / 838
/buildbot/coverage/build/src/proof		77.0 %	3015 / 3914	82.8 %	289 / 349	54.5 %	1742 / 3194
/buildbot/coverage/build/src/proof/alethe		87.5 %	1974 / 2257	83.9 %	47 / 56	57.8 %	989 / 1711
/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.7 %	920 / 1199	77.1 %	54 / 70	67.9 %	520 / 766
/buildbot/coverage/build/src/proof/lfsc		88.8 %	1644 / 1852	88.8 %	87 / 98	71.1 %	828 / 1164
/buildbot/coverage/build/src/prop		85.9 %	2430 / 2830	85.8 %	242 / 282	54.8 %	1164 / 2123
/buildbot/coverage/build/src/prop/cadical		87.5 %	674 / 770	88.9 %	80 / 90	56.3 %	351 / 623
/buildbot/coverage/build/src/prop/minisat		73.9 %	587 / 794	86.8 %	59 / 68	44.6 %	312 / 700
/buildbot/coverage/build/src/prop/minisat/core		81.2 %	1143 / 1407	85.6 %	149 / 174	61.7 %	779 / 1262
/buildbot/coverage/build/src/prop/minisat/mtl		92.5 %	259 / 280	95.1 %	196 / 206	58.0 %	131 / 226
/buildbot/coverage/build/src/prop/minisat/simp		51.7 %	238 / 460	70.3 %	26 / 37	45.9 %	177 / 386
/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.6 %	2272 / 2454	85.9 %	79 / 92	59.7 %	1367 / 2289
/buildbot/coverage/build/src/smt		85.4 %	5713 / 6692	90.4 %	479 / 530	66.3 %	3852 / 5806
/buildbot/coverage/build/src/theory		85.8 %	9107 / 10609	87.7 %	989 / 1128	64.1 %	5484 / 8551
/buildbot/coverage/build/src/theory/arith		81.7 %	3331 / 4078	84.2 %	272 / 323	60.2 %	2195 / 3645
/buildbot/coverage/build/src/theory/arith/linear		75.8 %	10997 / 14501	82.9 %	1174 / 1417	48.9 %	6524 / 13336
/buildbot/coverage/build/src/theory/arith/nl		73.8 %	1964 / 2661	84.5 %	147 / 174	53.5 %	1138 / 2127
/buildbot/coverage/build/src/theory/arith/nl/coverings		79.1 %	1050 / 1327	83.6 %	107 / 128	58.7 %	601 / 1024
/buildbot/coverage/build/src/theory/arith/nl/ext		86.2 %	1689 / 1959	92.0 %	80 / 87	62.1 %	1088 / 1753
/buildbot/coverage/build/src/theory/arith/nl/icp		45.7 %	197 / 431	71.4 %	15 / 21	29.2 %	107 / 367
/buildbot/coverage/build/src/theory/arith/nl/transcendental		92.2 %	1377 / 1494	91.5 %	65 / 71	56.5 %	826 / 1462
/buildbot/coverage/build/src/theory/arith/rewriter		91.1 %	450 / 494	97.8 %	45 / 46	64.1 %	286 / 446
/buildbot/coverage/build/src/theory/arrays		76.2 %	1959 / 2570	77.1 %	108 / 140	58.9 %	1351 / 2293
/buildbot/coverage/build/src/theory/bags		83.2 %	2666 / 3204	83.7 %	257 / 307	50.3 %	1084 / 2156
/buildbot/coverage/build/src/theory/booleans		93.1 %	1758 / 1888	97.9 %	94 / 96	60.7 %	1384 / 2280
/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.8 %	4452 / 5073	90.4 %	642 / 710	60.8 %	2446 / 4026
/buildbot/coverage/build/src/theory/bv/abstract		84.8 %	469 / 553	99.0 %	386 / 390	45.5 %	161 / 354
/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		88.3 %	4571 / 5175	89.4 %	219 / 245	61.6 %	3056 / 4963
/buildbot/coverage/build/src/theory/ff		89.2 %	1322 / 1482	91.9 %	158 / 172	61.4 %	816 / 1328
/buildbot/coverage/build/src/theory/fp		84.9 %	2163 / 2549	87.2 %	246 / 282	46.9 %	1269 / 2708
/buildbot/coverage/build/src/theory/quantifiers		86.1 %	13360 / 15522	86.3 %	941 / 1090	63.8 %	9109 / 14279
/buildbot/coverage/build/src/theory/quantifiers/cegqi		89.3 %	2579 / 2888	85.9 %	171 / 199	65.2 %	1907 / 2923
/buildbot/coverage/build/src/theory/quantifiers/ematching		82.9 %	2152 / 2595	82.2 %	157 / 191	62.3 %	1536 / 2466
/buildbot/coverage/build/src/theory/quantifiers/fmf		84.5 %	1657 / 1962	93.0 %	107 / 115	61.2 %	1045 / 1708
/buildbot/coverage/build/src/theory/quantifiers/ieval		86.7 %	607 / 700	82.2 %	60 / 73	57.5 %	394 / 685
/buildbot/coverage/build/src/theory/quantifiers/sygus		85.4 %	9415 / 11024	89.7 %	651 / 726	57.8 %	5807 / 10052
/buildbot/coverage/build/src/theory/sep		87.6 %	1204 / 1375	86.8 %	66 / 76	62.3 %	866 / 1389
/buildbot/coverage/build/src/theory/sets		88.4 %	4684 / 5299	88.1 %	282 / 320	63.2 %	2821 / 4461
/buildbot/coverage/build/src/theory/strings		85.1 %	13332 / 15667	88.4 %	603 / 682	64.3 %	9137 / 14208
/buildbot/coverage/build/src/theory/uf		84.8 %	5958 / 7027	87.1 %	385 / 442	60.9 %	3836 / 6299
/buildbot/coverage/build/src/util		81.4 %	3436 / 4221	82.5 %	1213 / 1470	55.5 %	1506 / 2713
/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 %	7128 / 7146	99.5 %	1884 / 1893	50.1 %	8753 / 17458
/buildbot/coverage/build/test/unit/api/cpp		99.9 %	6137 / 6143	99.4 %	1607 / 1616	45.9 %	4886 / 10646
/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 %	2354 / 2356	99.8 %	506 / 507	50.3 %	2263 / 4498
/buildbot/coverage/build/test/unit/options		96.3 %	155 / 161	96.6 %	28 / 29	62.3 %	66 / 106
/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 %	1611 / 1659	100.0 %	159 / 159	50.1 %	686 / 1368
/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		92.8 %	192 / 207	90.3 %	84 / 93	50.7 %	76 / 150
/buildbot/coverage/build/test/unit/theory		99.5 %	6756 / 6787	99.9 %	1695 / 1697	51.0 %	3881 / 7610
/buildbot/coverage/build/test/unit/util		95.3 %	2440 / 2561	97.4 %	606 / 622	48.9 %	2596 / 5312

Generated by: LCOV version 1.14