LCOV - code coverage report

Current view: top level Hit Total Coverage Test: coverage.info Lines: 172921 204949 84.4 % Date: 2024-09-28 11:33:24 Functions: 21697 25288 85.8 % Branches: 99466 170155 58.5 %

Directory	Line Coverage			Functions		Branches
/buildbot/coverage/build/build/src/api/cpp		99.7 %	630 / 632	100.0 %	8 / 8	99.7 %	587 / 589
/buildbot/coverage/build/build/src/expr		62.6 %	3078 / 4917	77.5 %	352 / 454	60.9 %	1414 / 2320
/buildbot/coverage/build/build/src/main		32.8 %	554 / 1687	100.0 %	4 / 4	31.7 %	279 / 880
/buildbot/coverage/build/build/src/options		97.5 %	5463 / 5601	98.8 %	256 / 259	83.5 %	3059 / 3663
/buildbot/coverage/build/build/src/rewriter		99.9 %	1795 / 1796	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.8 %	3632 / 3754	99.3 %	537 / 541	63.3 %	3034 / 4796
/buildbot/coverage/build/src/api/cpp		87.4 %	3588 / 4107	100.0 %	825 / 825	55.1 %	2022 / 3669
/buildbot/coverage/build/src/base		80.1 %	305 / 381	26.5 %	134 / 506	43.2 %	70 / 162
/buildbot/coverage/build/src/context		91.3 %	609 / 667	82.7 %	1850 / 2238	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		86.2 %	4830 / 5606	88.0 %	2647 / 3007	57.1 %	2705 / 4738
/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.3 %	242 / 294	98.0 %	145 / 148	64.7 %	110 / 170
/buildbot/coverage/build/src/parser		73.3 %	1769 / 2414	69.2 %	389 / 562	57.6 %	548 / 951
/buildbot/coverage/build/src/parser/smt2		88.8 %	2261 / 2545	88.9 %	104 / 117	75.7 %	1041 / 1376
/buildbot/coverage/build/src/preprocessing		96.1 %	247 / 257	95.5 %	85 / 89	61.2 %	82 / 134
/buildbot/coverage/build/src/preprocessing/passes		86.6 %	3643 / 4207	97.2 %	176 / 181	60.2 %	2365 / 3927
/buildbot/coverage/build/src/preprocessing/util		46.7 %	519 / 1111	61.5 %	59 / 96	43.9 %	306 / 697
/buildbot/coverage/build/src/printer		53.9 %	264 / 490	25.3 %	23 / 91	75.5 %	173 / 229
/buildbot/coverage/build/src/printer/ast		19.7 %	41 / 208	10.0 %	4 / 40	36.0 %	18 / 50
/buildbot/coverage/build/src/printer/smt2		95.0 %	1317 / 1387	93.7 %	74 / 79	89.6 %	733 / 818
/buildbot/coverage/build/src/proof		73.4 %	2323 / 3164	81.4 %	259 / 318	53.2 %	1346 / 2531
/buildbot/coverage/build/src/proof/alethe		88.3 %	1443 / 1634	83.0 %	39 / 47	57.5 %	756 / 1315
/buildbot/coverage/build/src/proof/alf		94.5 %	914 / 967	88.7 %	55 / 62	76.5 %	509 / 665
/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.6 %	1444 / 1727	86.6 %	84 / 97	68.3 %	779 / 1140
/buildbot/coverage/build/src/prop		86.4 %	2901 / 3357	84.8 %	302 / 356	56.1 %	1505 / 2682
/buildbot/coverage/build/src/prop/minisat		74.5 %	557 / 748	83.8 %	57 / 68	45.3 %	302 / 666
/buildbot/coverage/build/src/prop/minisat/core		82.2 %	1076 / 1309	87.9 %	152 / 173	63.5 %	796 / 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.6 %	288 / 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		89.0 %	1162 / 1306	83.6 %	56 / 67	57.5 %	688 / 1197
/buildbot/coverage/build/src/smt		88.7 %	4985 / 5620	93.1 %	462 / 496	67.9 %	3436 / 5063
/buildbot/coverage/build/src/theory		85.1 %	8254 / 9703	86.6 %	959 / 1108	63.5 %	5185 / 8161
/buildbot/coverage/build/src/theory/arith		78.1 %	2516 / 3222	82.0 %	241 / 294	58.4 %	1600 / 2740
/buildbot/coverage/build/src/theory/arith/linear		59.9 %	8018 / 13392	71.6 %	1009 / 1409	43.1 %	5018 / 11646
/buildbot/coverage/build/src/theory/arith/nl		75.9 %	1618 / 2132	83.9 %	130 / 155	52.9 %	949 / 1795
/buildbot/coverage/build/src/theory/arith/nl/coverings		81.3 %	979 / 1204	84.7 %	105 / 124	59.1 %	584 / 988
/buildbot/coverage/build/src/theory/arith/nl/ext		85.1 %	1080 / 1269	96.4 %	54 / 56	63.9 %	662 / 1036
/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 %	1240 / 1339	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		74.4 %	1727 / 2322	76.5 %	104 / 136	57.1 %	1123 / 1968
/buildbot/coverage/build/src/theory/bags		83.1 %	2389 / 2874	82.4 %	225 / 273	49.8 %	981 / 1968
/buildbot/coverage/build/src/theory/booleans		89.9 %	1506 / 1676	97.9 %	92 / 94	58.6 %	1224 / 2089
/buildbot/coverage/build/src/theory/builtin		77.5 %	552 / 712	83.6 %	51 / 61	54.7 %	375 / 686
/buildbot/coverage/build/src/theory/bv		86.0 %	3595 / 4180	90.1 %	610 / 677	60.5 %	1958 / 3234
/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.3 %	3889 / 4455	88.8 %	207 / 233	60.5 %	2671 / 4416
/buildbot/coverage/build/src/theory/ff		89.4 %	1148 / 1284	91.1 %	154 / 169	61.4 %	729 / 1187
/buildbot/coverage/build/src/theory/fp		80.6 %	1887 / 2340	84.7 %	238 / 281	45.4 %	1073 / 2362
/buildbot/coverage/build/src/theory/quantifiers		86.0 %	11514 / 13391	87.0 %	894 / 1028	63.3 %	8058 / 12722
/buildbot/coverage/build/src/theory/quantifiers/cegqi		90.2 %	2386 / 2645	86.8 %	165 / 190	65.6 %	1778 / 2710
/buildbot/coverage/build/src/theory/quantifiers/ematching		88.3 %	2143 / 2428	87.6 %	162 / 185	64.6 %	1542 / 2388
/buildbot/coverage/build/src/theory/quantifiers/fmf		85.1 %	1482 / 1741	93.0 %	106 / 114	61.1 %	1018 / 1666
/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 %	8782 / 10251	89.5 %	631 / 705	56.8 %	5412 / 9529
/buildbot/coverage/build/src/theory/sep		87.6 %	1102 / 1258	86.7 %	65 / 75	62.2 %	818 / 1315
/buildbot/coverage/build/src/theory/sets		88.0 %	4157 / 4724	87.6 %	261 / 298	61.9 %	2357 / 3806
/buildbot/coverage/build/src/theory/strings		84.7 %	11053 / 13051	88.6 %	562 / 634	64.5 %	7484 / 11610
/buildbot/coverage/build/src/theory/uf		83.5 %	4963 / 5945	87.2 %	354 / 406	59.1 %	3318 / 5612
/buildbot/coverage/build/src/util		82.0 %	2845 / 3469	80.7 %	1109 / 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 %	1632 / 1643	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 %	6801 / 6836	99.0 %	946 / 956	50.8 %	1278 / 2514
/buildbot/coverage/build/test/unit/api/cpp		99.9 %	5321 / 5326	98.7 %	789 / 799	50.2 %	4466 / 8896
/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 %	2145 / 2146	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		97.0 %	1546 / 1594	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.4 %	6175 / 6210	99.6 %	848 / 851	51.7 %	1947 / 3768
/buildbot/coverage/build/test/unit/util		100.0 %	1923 / 1923	100.0 %	215 / 215	50.1 %	1053 / 2102

Generated by: LCOV version 1.14