LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 181313 214663 84.5 % Date: 2026-02-07 12:26:33 Functions: 21952 25644 85.6 % Branches: 104681 178778 58.6 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/test/unit		71.7 %	81 / 113	40.4 %	36 / 89	0.0 %	0 / 7
/buildbot/coverage/build/src/proof/dot		0.0 %	0 / 242	0.0 %	0 / 18	0.0 %	0 / 144
/buildbot/coverage/build/src/prop/minisat/utils		20.0 %	19 / 95	57.9 %	11 / 19	4.5 %	3 / 66
/buildbot/coverage/build/src/theory/arith/nl/icp		45.8 %	186 / 406	71.4 %	15 / 21	29.0 %	103 / 355
/buildbot/coverage/build/build/src/main		32.0 %	582 / 1817	80.0 %	4 / 5	31.1 %	293 / 943
/buildbot/coverage/build/src/printer/ast		19.6 %	41 / 209	10.0 %	4 / 40	36.0 %	18 / 50
/buildbot/coverage/build/src/theory/arith/linear		60.4 %	8195 / 13561	71.6 %	1010 / 1410	43.2 %	5090 / 11786
/buildbot/coverage/build/src/base		80.5 %	314 / 390	26.9 %	139 / 516	43.2 %	70 / 162
/buildbot/coverage/build/test/unit/preprocessing		97.0 %	1562 / 1610	100.0 %	79 / 79	43.7 %	255 / 584
/buildbot/coverage/build/src/preprocessing/util		46.8 %	521 / 1113	61.5 %	59 / 96	43.9 %	306 / 697
/buildbot/coverage/build/src/main		49.7 %	508 / 1023	57.9 %	44 / 76	44.4 %	267 / 602
/buildbot/coverage/build/src/prop/minisat		75.3 %	564 / 749	85.1 %	57 / 67	45.2 %	298 / 660
/buildbot/coverage/build/src/theory/fp		80.8 %	1906 / 2358	84.9 %	242 / 285	45.6 %	1080 / 2370
/buildbot/coverage/build/src/prop/cadical		73.7 %	502 / 681	76.5 %	62 / 81	46.5 %	255 / 548
/buildbot/coverage/build/src/theory/bv/bitblast		85.4 %	707 / 828	79.0 %	83 / 105	49.2 %	368 / 748
/buildbot/coverage/build/src/theory/bags		82.1 %	2439 / 2970	82.4 %	229 / 278	49.4 %	1013 / 2050
/buildbot/coverage/build/build/src/rewriter		99.9 %	1960 / 1961	100.0 %	16 / 16	50.0 %	1 / 2
/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/util		100.0 %	2040 / 2040	100.0 %	233 / 233	50.1 %	1137 / 2270
/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/api/c		99.7 %	6775 / 6793	99.1 %	952 / 961	50.9 %	1277 / 2508
/buildbot/coverage/build/test/unit/node		99.9 %	2133 / 2134	99.6 %	262 / 263	51.2 %	1044 / 2040
/buildbot/coverage/build/test/api/cpp/issues		99.3 %	1633 / 1644	100.0 %	64 / 64	51.6 %	33 / 64
/buildbot/coverage/build/test/unit/theory		99.6 %	6223 / 6250	99.8 %	850 / 852	51.7 %	1969 / 3808
/buildbot/coverage/build/src/context		91.2 %	609 / 668	82.7 %	1897 / 2293	52.2 %	164 / 314
/buildbot/coverage/build/src/theory/builtin		80.4 %	581 / 723	83.6 %	51 / 61	53.0 %	415 / 783
/buildbot/coverage/build/src/theory/arith/nl		74.0 %	1789 / 2417	83.4 %	136 / 163	53.2 %	1019 / 1917
/buildbot/coverage/build/test/unit/context		99.0 %	417 / 421	96.7 %	59 / 61	53.3 %	229 / 430
/buildbot/coverage/build/test/api/cpp		91.3 %	209 / 229	100.0 %	13 / 13	54.3 %	38 / 70
/buildbot/coverage/build/src/api/cpp		87.4 %	3648 / 4176	100.0 %	832 / 832	55.1 %	2049 / 3720
/buildbot/coverage/build/src/util		82.0 %	2886 / 3519	80.4 %	1115 / 1387	55.7 %	1258 / 2258
/buildbot/coverage/build/src/proof		79.2 %	2776 / 3504	83.2 %	288 / 346	55.8 %	1629 / 2921
/buildbot/coverage/build/src/theory/quantifiers/ieval		86.1 %	563 / 654	82.2 %	60 / 73	55.9 %	370 / 662
/buildbot/coverage/build/src/prop		85.5 %	2326 / 2722	83.5 %	238 / 285	55.8 %	1203 / 2154
/buildbot/coverage/build/src/proof/alethe		85.6 %	1624 / 1898	80.4 %	41 / 51	56.2 %	844 / 1501
/buildbot/coverage/build/src/theory/arith/nl/transcendental		93.4 %	1263 / 1352	94.0 %	63 / 67	56.5 %	757 / 1341
/buildbot/coverage/build/src/rewriter		92.4 %	2870 / 3106	88.1 %	89 / 101	56.7 %	1633 / 2881
/buildbot/coverage/build/src/theory/quantifiers/sygus		85.4 %	8800 / 10301	89.5 %	631 / 705	56.8 %	5455 / 9609
/buildbot/coverage/build/src/expr		86.2 %	5132 / 5952	87.1 %	2497 / 2866	57.6 %	2893 / 5025
/buildbot/coverage/build/src/theory/arrays		75.8 %	1813 / 2392	76.6 %	105 / 137	58.0 %	1206 / 2081
/buildbot/coverage/build/src/theory/arith/nl/coverings		80.3 %	996 / 1240	83.6 %	107 / 128	59.2 %	586 / 990
/buildbot/coverage/build/src/theory/booleans		90.6 %	1606 / 1773	97.9 %	93 / 95	59.1 %	1300 / 2198
/buildbot/coverage/build/test/api/c		94.1 %	208 / 221	100.0 %	10 / 10	59.4 %	38 / 64
/buildbot/coverage/build/src/parser		74.1 %	1847 / 2491	70.0 %	402 / 574	59.4 %	583 / 982
/buildbot/coverage/build/src/theory/arith		81.2 %	3004 / 3699	83.4 %	262 / 314	59.6 %	1930 / 3239
/buildbot/coverage/build/test/unit/parser		100.0 %	150 / 150	94.7 %	18 / 19	60.0 %	24 / 40
/buildbot/coverage/build/src/preprocessing/passes		84.6 %	3923 / 4635	95.6 %	197 / 206	60.1 %	2532 / 4214
/buildbot/coverage/build/src/theory/uf		84.6 %	5469 / 6462	86.8 %	376 / 433	60.0 %	3656 / 6090
/buildbot/coverage/build/src/theory/datatypes		87.1 %	4045 / 4645	89.0 %	211 / 237	60.3 %	2769 / 4595
/buildbot/coverage/build/src/preprocessing		96.3 %	260 / 270	95.7 %	88 / 92	60.8 %	96 / 158
/buildbot/coverage/build/src/theory/bv		87.3 %	4015 / 4600	90.2 %	636 / 705	61.0 %	2240 / 3673
/buildbot/coverage/build/src/theory/quantifiers/fmf		85.0 %	1471 / 1730	93.0 %	106 / 114	61.0 %	1019 / 1670
/buildbot/coverage/build/src/theory/sets		88.1 %	4293 / 4873	87.5 %	266 / 304	61.8 %	2434 / 3937
/buildbot/coverage/build/src/theory/ff		89.8 %	1174 / 1307	91.2 %	155 / 170	62.1 %	742 / 1194
/buildbot/coverage/build/src/theory/sep		87.5 %	1097 / 1253	86.7 %	65 / 75	62.3 %	820 / 1317
/buildbot/coverage/build/test/unit/main		100.0 %	81 / 81	100.0 %	20 / 20	62.5 %	10 / 16
/buildbot/coverage/build/src/prop/minisat/mtl		94.1 %	225 / 239	97.6 %	201 / 206	62.7 %	138 / 220
/buildbot/coverage/build/src/theory/quantifiers		85.9 %	12060 / 14045	86.3 %	915 / 1060	63.0 %	8367 / 13277
/buildbot/coverage/build/src/api/c		96.3 %	3668 / 3808	98.9 %	539 / 545	63.1 %	3094 / 4900
/buildbot/coverage/build/src/decision		94.3 %	400 / 424	87.0 %	47 / 54	63.3 %	259 / 409
/buildbot/coverage/build/src/prop/minisat/core		82.0 %	1074 / 1309	87.3 %	151 / 173	63.4 %	795 / 1254
/buildbot/coverage/build/build/src/expr		63.8 %	3187 / 4992	77.8 %	354 / 455	63.6 %	1504 / 2363
/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/rewriter		91.7 %	397 / 433	97.8 %	44 / 45	63.9 %	264 / 413
/buildbot/coverage/build/src/theory		85.8 %	8401 / 9795	87.0 %	967 / 1112	64.0 %	5267 / 8224
/buildbot/coverage/build/src/theory/strings		84.6 %	11371 / 13446	88.4 %	578 / 654	64.3 %	7707 / 11985
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.2 %	2150 / 2437	87.4 %	167 / 191	64.6 %	1542 / 2386
/buildbot/coverage/build/test/unit/options		93.5 %	130 / 139	95.7 %	22 / 23	65.2 %	86 / 132
/buildbot/coverage/build/src/options		83.0 %	253 / 305	98.0 %	149 / 152	65.5 %	114 / 174
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.2 %	2399 / 2659	86.9 %	166 / 191	65.9 %	1794 / 2722
/buildbot/coverage/build/src/smt		85.9 %	5358 / 6236	89.6 %	474 / 529	66.4 %	3693 / 5565
/buildbot/coverage/build/test/api/c/issues		100.0 %	29 / 29	100.0 %	1 / 1	66.7 %	4 / 6
/buildbot/coverage/build/src/proof/alf		76.2 %	823 / 1080	76.5 %	52 / 68	67.7 %	486 / 718
/buildbot/coverage/build/src/prop/minisat/simp		76.0 %	330 / 434	83.3 %	30 / 36	69.8 %	289 / 414
/buildbot/coverage/build/src/proof/lfsc		88.6 %	1516 / 1711	88.7 %	86 / 97	71.2 %	816 / 1146
/buildbot/coverage/build/src/printer		54.0 %	269 / 498	25.0 %	23 / 92	74.8 %	178 / 238
/buildbot/coverage/build/src/parser/smt2		89.1 %	2325 / 2609	88.9 %	104 / 117	75.8 %	1082 / 1427
/buildbot/coverage/build/build/src/options		97.5 %	5701 / 5850	98.9 %	260 / 263	83.3 %	3176 / 3813
/buildbot/coverage/build/src/expr/algorithm		100.0 %	27 / 27	100.0 %	13 / 13	86.4 %	19 / 22
/buildbot/coverage/build/src/printer/smt2		94.8 %	1341 / 1414	95.0 %	76 / 80	89.5 %	750 / 838
/buildbot/coverage/build/build/src/theory		95.7 %	155 / 162	100.0 %	7 / 7	92.9 %	91 / 98
/buildbot/coverage/build/test/unit/printer		100.0 %	30 / 30	100.0 %	7 / 7	93.8 %	15 / 16
/buildbot/coverage/build/build/src/api/cpp		99.7 %	759 / 761	100.0 %	8 / 8	99.7 %	685 / 687
/buildbot/coverage/build/include/cvc5		100.0 %	15 / 15	90.0 %	9 / 10	-	0 / 0

Generated by: LCOV version 1.14