LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 180811 214548 84.3 % Date: 2026-01-19 13:01:48 Functions: 21935 25637 85.6 % Branches: 104362 178538 58.5 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.6 %	758 / 761	100.0 %	8 / 8	99.6 %	684 / 687
/buildbot/coverage/build/build/src/expr		63.8 %	3184 / 4992	77.8 %	354 / 455	63.6 %	1503 / 2363
/buildbot/coverage/build/build/src/main		32.0 %	582 / 1817	80.0 %	4 / 5	31.1 %	293 / 943
/buildbot/coverage/build/build/src/options		97.5 %	5701 / 5850	98.9 %	260 / 263	83.3 %	3178 / 3817
/buildbot/coverage/build/build/src/rewriter		99.9 %	1960 / 1961	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.3 %	3668 / 3808	98.9 %	539 / 545	63.1 %	3094 / 4900
/buildbot/coverage/build/src/api/cpp		87.4 %	3648 / 4176	100.0 %	832 / 832	55.1 %	2049 / 3720
/buildbot/coverage/build/src/base		80.3 %	309 / 385	26.8 %	138 / 514	43.2 %	70 / 162
/buildbot/coverage/build/src/context		91.3 %	609 / 667	82.7 %	1896 / 2293	52.2 %	164 / 314
/buildbot/coverage/build/src/decision		94.3 %	399 / 423	87.0 %	47 / 54	63.3 %	259 / 409
/buildbot/coverage/build/src/expr		86.2 %	5134 / 5955	87.1 %	2496 / 2866	57.6 %	2893 / 5025
/buildbot/coverage/build/src/expr/algorithm		100.0 %	27 / 27	100.0 %	13 / 13	86.4 %	19 / 22
/buildbot/coverage/build/src/main		49.3 %	501 / 1016	56.8 %	42 / 74	44.4 %	267 / 602
/buildbot/coverage/build/src/options		83.0 %	253 / 305	98.0 %	149 / 152	65.5 %	114 / 174
/buildbot/coverage/build/src/parser		73.5 %	1831 / 2490	69.3 %	398 / 574	59.4 %	583 / 982
/buildbot/coverage/build/src/parser/smt2		89.0 %	2321 / 2609	88.9 %	104 / 117	75.7 %	1082 / 1429
/buildbot/coverage/build/src/preprocessing		96.3 %	260 / 270	95.7 %	88 / 92	60.8 %	96 / 158
/buildbot/coverage/build/src/preprocessing/passes		84.6 %	3929 / 4644	95.6 %	197 / 206	60.1 %	2532 / 4214
/buildbot/coverage/build/src/preprocessing/util		46.8 %	521 / 1113	61.5 %	59 / 96	43.9 %	306 / 697
/buildbot/coverage/build/src/printer		54.0 %	269 / 498	25.0 %	23 / 92	74.8 %	178 / 238
/buildbot/coverage/build/src/printer/ast		19.6 %	41 / 209	10.0 %	4 / 40	36.0 %	18 / 50
/buildbot/coverage/build/src/printer/smt2		94.6 %	1337 / 1414	93.8 %	75 / 80	89.4 %	749 / 838
/buildbot/coverage/build/src/proof		72.6 %	2532 / 3486	82.1 %	284 / 346	51.3 %	1442 / 2812
/buildbot/coverage/build/src/proof/alethe		88.4 %	1601 / 1812	82.0 %	41 / 50	58.2 %	840 / 1444
/buildbot/coverage/build/src/proof/alf		76.2 %	823 / 1080	76.5 %	52 / 68	67.7 %	486 / 718
/buildbot/coverage/build/src/proof/dot		0.0 %	0 / 242	0.0 %	0 / 18	0.0 %	0 / 144
/buildbot/coverage/build/src/proof/lfsc		88.6 %	1515 / 1710	88.7 %	86 / 97	71.2 %	816 / 1146
/buildbot/coverage/build/src/prop		85.4 %	2317 / 2713	83.5 %	237 / 284	55.8 %	1199 / 2150
/buildbot/coverage/build/src/prop/cadical		73.7 %	502 / 681	76.5 %	62 / 81	46.5 %	255 / 548
/buildbot/coverage/build/src/prop/minisat		75.3 %	565 / 750	85.1 %	57 / 67	45.2 %	298 / 660
/buildbot/coverage/build/src/prop/minisat/core		82.0 %	1074 / 1309	87.3 %	151 / 173	63.4 %	795 / 1254
/buildbot/coverage/build/src/prop/minisat/mtl		94.1 %	225 / 239	97.6 %	201 / 206	62.7 %	138 / 220
/buildbot/coverage/build/src/prop/minisat/simp		76.0 %	330 / 434	83.3 %	30 / 36	69.8 %	289 / 414
/buildbot/coverage/build/src/prop/minisat/utils		20.0 %	19 / 95	57.9 %	11 / 19	4.5 %	3 / 66
/buildbot/coverage/build/src/rewriter		92.4 %	2870 / 3106	88.1 %	89 / 101	56.7 %	1633 / 2881
/buildbot/coverage/build/src/smt		84.6 %	5275 / 6235	89.6 %	474 / 529	65.9 %	3636 / 5515
/buildbot/coverage/build/src/theory		85.8 %	8401 / 9797	87.0 %	967 / 1112	64.0 %	5266 / 8224
/buildbot/coverage/build/src/theory/arith		80.4 %	2972 / 3698	83.1 %	261 / 314	59.1 %	1901 / 3217
/buildbot/coverage/build/src/theory/arith/linear		60.4 %	8196 / 13565	71.6 %	1010 / 1410	43.2 %	5092 / 11790
/buildbot/coverage/build/src/theory/arith/nl		71.0 %	1717 / 2420	83.4 %	136 / 163	52.5 %	1003 / 1911
/buildbot/coverage/build/src/theory/arith/nl/coverings		80.3 %	994 / 1238	83.5 %	106 / 127	59.2 %	586 / 990
/buildbot/coverage/build/src/theory/arith/nl/ext		87.3 %	1537 / 1760	97.4 %	75 / 77	63.9 %	973 / 1523
/buildbot/coverage/build/src/theory/arith/nl/icp		45.8 %	186 / 406	71.4 %	15 / 21	29.0 %	103 / 355
/buildbot/coverage/build/src/theory/arith/nl/transcendental		93.7 %	1267 / 1352	94.0 %	63 / 67	56.6 %	762 / 1347
/buildbot/coverage/build/src/theory/arith/rewriter		92.4 %	400 / 433	97.8 %	44 / 45	64.6 %	267 / 413
/buildbot/coverage/build/src/theory/arrays		75.8 %	1812 / 2391	76.6 %	105 / 137	58.0 %	1206 / 2081
/buildbot/coverage/build/src/theory/bags		82.2 %	2441 / 2971	82.4 %	229 / 278	49.4 %	1013 / 2050
/buildbot/coverage/build/src/theory/booleans		90.5 %	1606 / 1775	97.9 %	93 / 95	59.0 %	1297 / 2198
/buildbot/coverage/build/src/theory/builtin		80.0 %	575 / 719	83.6 %	51 / 61	52.4 %	406 / 775
/buildbot/coverage/build/src/theory/bv		87.3 %	4012 / 4595	90.2 %	636 / 705	61.0 %	2240 / 3673
/buildbot/coverage/build/src/theory/bv/bitblast		85.4 %	707 / 828	79.0 %	83 / 105	49.2 %	368 / 748
/buildbot/coverage/build/src/theory/datatypes		87.1 %	4044 / 4644	89.0 %	211 / 237	60.3 %	2769 / 4595
/buildbot/coverage/build/src/theory/ff		89.8 %	1174 / 1307	91.2 %	155 / 170	62.1 %	742 / 1194
/buildbot/coverage/build/src/theory/fp		80.8 %	1906 / 2358	84.9 %	242 / 285	45.6 %	1080 / 2370
/buildbot/coverage/build/src/theory/quantifiers		85.9 %	12059 / 14044	86.3 %	915 / 1060	63.0 %	8366 / 13275
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.2 %	2400 / 2660	86.9 %	166 / 191	65.7 %	1793 / 2728
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.2 %	2150 / 2437	87.4 %	167 / 191	64.6 %	1542 / 2386
/buildbot/coverage/build/src/theory/quantifiers/fmf		85.0 %	1471 / 1730	93.0 %	106 / 114	61.0 %	1019 / 1670
/buildbot/coverage/build/src/theory/quantifiers/ieval		86.1 %	563 / 654	82.2 %	60 / 73	55.9 %	370 / 662
/buildbot/coverage/build/src/theory/quantifiers/sygus		85.4 %	8804 / 10305	89.5 %	631 / 705	56.8 %	5455 / 9609
/buildbot/coverage/build/src/theory/sep		87.5 %	1096 / 1252	86.7 %	65 / 75	62.3 %	820 / 1317
/buildbot/coverage/build/src/theory/sets		88.1 %	4294 / 4873	87.5 %	266 / 304	61.8 %	2434 / 3937
/buildbot/coverage/build/src/theory/strings		84.5 %	11367 / 13448	88.4 %	578 / 654	64.2 %	7693 / 11981
/buildbot/coverage/build/src/theory/uf		84.6 %	5465 / 6460	86.8 %	376 / 433	60.0 %	3654 / 6090
/buildbot/coverage/build/src/util		82.0 %	2886 / 3519	80.4 %	1115 / 1387	55.7 %	1258 / 2258
/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		91.3 %	209 / 229	100.0 %	13 / 13	54.3 %	38 / 70
/buildbot/coverage/build/test/api/cpp/issues		99.3 %	1633 / 1644	100.0 %	64 / 64	51.6 %	33 / 64
/buildbot/coverage/build/test/unit		71.7 %	81 / 113	40.4 %	36 / 89	0.0 %	0 / 7
/buildbot/coverage/build/test/unit/api/c		99.7 %	6775 / 6793	99.1 %	952 / 961	50.9 %	1277 / 2508
/buildbot/coverage/build/test/unit/api/cpp		99.9 %	5335 / 5341	98.9 %	793 / 802	50.2 %	4591 / 9140
/buildbot/coverage/build/test/unit/base		100.0 %	101 / 101	100.0 %	23 / 23	50.9 %	58 / 114
/buildbot/coverage/build/test/unit/context		99.0 %	417 / 421	96.7 %	59 / 61	53.3 %	229 / 430
/buildbot/coverage/build/test/unit/main		100.0 %	81 / 81	100.0 %	20 / 20	62.5 %	10 / 16
/buildbot/coverage/build/test/unit/node		99.9 %	2134 / 2135	99.6 %	262 / 263	51.2 %	1044 / 2040
/buildbot/coverage/build/test/unit/options		93.5 %	130 / 139	95.7 %	22 / 23	65.2 %	86 / 132
/buildbot/coverage/build/test/unit/parser		100.0 %	150 / 150	94.7 %	18 / 19	60.0 %	24 / 40
/buildbot/coverage/build/test/unit/preprocessing		97.0 %	1562 / 1610	100.0 %	79 / 79	43.7 %	255 / 584
/buildbot/coverage/build/test/unit/printer		100.0 %	30 / 30	100.0 %	7 / 7	93.8 %	15 / 16
/buildbot/coverage/build/test/unit/proof		100.0 %	11 / 11	100.0 %	2 / 2	50.0 %	10 / 20
/buildbot/coverage/build/test/unit/prop		89.3 %	100 / 112	77.5 %	31 / 40	50.0 %	13 / 26
/buildbot/coverage/build/test/unit/theory		99.6 %	6223 / 6250	99.8 %	850 / 852	51.7 %	1969 / 3808
/buildbot/coverage/build/test/unit/util		100.0 %	2040 / 2040	100.0 %	233 / 233	50.1 %	1137 / 2270

Generated by: LCOV version 1.14