LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 175005 207379 84.4 % Date: 2025-01-24 13:39:29 Functions: 21855 25488 85.7 % Branches: 100907 172574 58.5 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.6 %	730 / 733	100.0 %	8 / 8	99.6 %	670 / 673
/buildbot/coverage/build/build/src/expr		62.4 %	3090 / 4949	77.6 %	353 / 455	60.9 %	1431 / 2349
/buildbot/coverage/build/build/src/main		33.1 %	568 / 1717	100.0 %	4 / 4	32.0 %	286 / 895
/buildbot/coverage/build/build/src/options		97.6 %	5540 / 5679	98.9 %	258 / 261	83.4 %	3099 / 3714
/buildbot/coverage/build/build/src/rewriter		99.9 %	2029 / 2030	100.0 %	14 / 14	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.7 %	3650 / 3773	99.3 %	538 / 542	63.2 %	3048 / 4826
/buildbot/coverage/build/src/api/cpp		87.4 %	3584 / 4100	100.0 %	826 / 826	55.1 %	2019 / 3663
/buildbot/coverage/build/src/base		80.1 %	305 / 381	26.7 %	136 / 509	43.2 %	70 / 162
/buildbot/coverage/build/src/context		91.3 %	609 / 667	82.9 %	1876 / 2264	52.2 %	164 / 314
/buildbot/coverage/build/src/decision		94.3 %	397 / 421	87.0 %	47 / 54	63.3 %	259 / 409
/buildbot/coverage/build/src/expr		85.9 %	4904 / 5706	87.7 %	2673 / 3047	57.2 %	2751 / 4806
/buildbot/coverage/build/src/expr/algorithm		100.0 %	27 / 27	100.0 %	13 / 13	86.4 %	19 / 22
/buildbot/coverage/build/src/main		54.3 %	465 / 857	58.0 %	40 / 69	46.3 %	253 / 546
/buildbot/coverage/build/src/options		82.7 %	248 / 300	98.0 %	147 / 150	65.5 %	114 / 174
/buildbot/coverage/build/src/parser		73.5 %	1800 / 2450	69.4 %	393 / 566	58.9 %	575 / 977
/buildbot/coverage/build/src/parser/smt2		88.7 %	2271 / 2559	88.9 %	104 / 117	75.6 %	1051 / 1390
/buildbot/coverage/build/src/preprocessing		96.3 %	257 / 267	95.6 %	86 / 90	60.8 %	96 / 158
/buildbot/coverage/build/src/preprocessing/passes		86.8 %	3655 / 4212	96.8 %	180 / 186	60.5 %	2385 / 3944
/buildbot/coverage/build/src/preprocessing/util		46.8 %	521 / 1113	61.5 %	59 / 96	43.9 %	306 / 697
/buildbot/coverage/build/src/printer		54.7 %	273 / 499	25.3 %	23 / 91	75.2 %	182 / 242
/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.4 %	1323 / 1401	93.7 %	74 / 79	89.1 %	735 / 825
/buildbot/coverage/build/src/proof		76.2 %	2482 / 3256	84.2 %	282 / 335	54.5 %	1427 / 2618
/buildbot/coverage/build/src/proof/alethe		88.4 %	1475 / 1668	83.0 %	39 / 47	58.1 %	780 / 1342
/buildbot/coverage/build/src/proof/alf		76.8 %	776 / 1010	75.8 %	50 / 66	68.1 %	460 / 675
/buildbot/coverage/build/src/proof/dot		0.0 %	0 / 242	0.0 %	0 / 18	0.0 %	0 / 144
/buildbot/coverage/build/src/proof/lfsc		83.8 %	1448 / 1728	86.6 %	84 / 97	69.1 %	803 / 1162
/buildbot/coverage/build/src/prop		85.5 %	2764 / 3232	83.6 %	296 / 354	55.2 %	1427 / 2584
/buildbot/coverage/build/src/prop/minisat		75.1 %	562 / 748	85.1 %	57 / 67	45.6 %	304 / 666
/buildbot/coverage/build/src/prop/minisat/core		82.2 %	1076 / 1309	87.9 %	152 / 173	63.6 %	797 / 1254
/buildbot/coverage/build/src/prop/minisat/mtl		94.1 %	225 / 239	97.6 %	201 / 206	62.3 %	137 / 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		91.5 %	1687 / 1844	84.6 %	66 / 78	59.2 %	946 / 1599
/buildbot/coverage/build/src/smt		87.3 %	5089 / 5829	92.7 %	469 / 506	66.7 %	3511 / 5267
/buildbot/coverage/build/src/theory		85.5 %	8324 / 9735	86.8 %	966 / 1113	63.7 %	5201 / 8166
/buildbot/coverage/build/src/theory/arith		79.0 %	2584 / 3270	83.1 %	245 / 295	57.9 %	1626 / 2807
/buildbot/coverage/build/src/theory/arith/linear		60.0 %	8067 / 13438	71.5 %	1011 / 1413	43.2 %	5042 / 11678
/buildbot/coverage/build/src/theory/arith/nl		75.9 %	1615 / 2128	83.9 %	130 / 155	52.9 %	949 / 1795
/buildbot/coverage/build/src/theory/arith/nl/coverings		81.3 %	978 / 1203	84.7 %	105 / 124	59.2 %	585 / 988
/buildbot/coverage/build/src/theory/arith/nl/ext		86.7 %	1348 / 1554	97.1 %	67 / 69	63.4 %	858 / 1353
/buildbot/coverage/build/src/theory/arith/nl/icp		45.9 %	184 / 401	71.4 %	15 / 21	29.6 %	105 / 355
/buildbot/coverage/build/src/theory/arith/nl/transcendental		92.6 %	1238 / 1337	94.0 %	63 / 67	56.2 %	735 / 1307
/buildbot/coverage/build/src/theory/arith/rewriter		90.6 %	365 / 403	97.6 %	40 / 41	64.8 %	248 / 383
/buildbot/coverage/build/src/theory/arrays		75.4 %	1789 / 2372	76.5 %	104 / 136	57.5 %	1186 / 2064
/buildbot/coverage/build/src/theory/bags		83.0 %	2384 / 2873	82.4 %	225 / 273	49.9 %	984 / 1972
/buildbot/coverage/build/src/theory/booleans		89.7 %	1519 / 1693	97.9 %	92 / 94	58.2 %	1215 / 2087
/buildbot/coverage/build/src/theory/builtin		79.8 %	578 / 724	82.8 %	53 / 64	53.5 %	394 / 737
/buildbot/coverage/build/src/theory/bv		85.7 %	3558 / 4152	89.7 %	609 / 679	60.4 %	1958 / 3241
/buildbot/coverage/build/src/theory/bv/bitblast		85.2 %	698 / 819	79.0 %	83 / 105	49.2 %	368 / 748
/buildbot/coverage/build/src/theory/datatypes		87.7 %	4053 / 4620	89.0 %	211 / 237	60.5 %	2779 / 4594
/buildbot/coverage/build/src/theory/ff		89.4 %	1152 / 1288	91.1 %	154 / 169	61.5 %	731 / 1189
/buildbot/coverage/build/src/theory/fp		80.7 %	1896 / 2349	84.8 %	239 / 282	45.6 %	1079 / 2368
/buildbot/coverage/build/src/theory/quantifiers		86.2 %	11827 / 13723	87.1 %	908 / 1043	63.3 %	8224 / 12991
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.3 %	2400 / 2657	86.8 %	165 / 190	65.7 %	1797 / 2736
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.3 %	2142 / 2427	87.6 %	162 / 185	64.7 %	1544 / 2388
/buildbot/coverage/build/src/theory/quantifiers/fmf		85.1 %	1470 / 1727	93.0 %	106 / 114	61.3 %	1022 / 1668
/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.7 %	8766 / 10230	89.5 %	631 / 705	56.8 %	5418 / 9537
/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 %	4305 / 4884	87.5 %	266 / 304	61.8 %	2435 / 3943
/buildbot/coverage/build/src/theory/strings		84.3 %	11068 / 13134	88.3 %	566 / 641	64.0 %	7498 / 11719
/buildbot/coverage/build/src/theory/uf		83.8 %	5064 / 6044	86.7 %	359 / 414	59.6 %	3381 / 5677
/buildbot/coverage/build/src/util		82.0 %	2845 / 3469	80.2 %	1102 / 1374	55.6 %	1248 / 2246
/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.5 %	6811 / 6846	99.0 %	949 / 959	50.8 %	1280 / 2518
/buildbot/coverage/build/test/unit/api/cpp		99.9 %	5331 / 5336	98.8 %	792 / 802	50.2 %	4468 / 8900
/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 %	2133 / 2134	99.6 %	262 / 263	51.2 %	1044 / 2040
/buildbot/coverage/build/test/unit/options		97.1 %	101 / 104	100.0 %	15 / 15	64.3 %	81 / 126
/buildbot/coverage/build/test/unit/parser		100.0 %	150 / 150	94.7 %	18 / 19	60.0 %	24 / 40
/buildbot/coverage/build/test/unit/preprocessing		96.7 %	1415 / 1463	100.0 %	79 / 79	43.7 %	255 / 584
/buildbot/coverage/build/test/unit/printer		100.0 %	28 / 28	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.4 %	5974 / 6009	99.6 %	848 / 851	51.7 %	1947 / 3768
/buildbot/coverage/build/test/unit/util		100.0 %	1926 / 1926	100.0 %	215 / 215	50.1 %	1053 / 2102

Generated by: LCOV version 1.14