| Current view: | top level | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 193574 | 228248 | 84.8 % | |
| Date: | 2026-04-02 10:40:46 | Functions: | 25226 | 28906 | 87.3 % | |
| Branches: | 117610 | 209936 | 56.0 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
Directory  |
Line Coverage |
Functions |
Branches |
|||||
| /buildbot/coverage/build/test/unit |
|
72.2 % | 83 / 115 | 40.4 % | 36 / 89 | 0.0 % | 0 / 7 | |
| /buildbot/coverage/build/src/proof/dot |
|
0.0 % | 0 / 247 | 0.0 % | 0 / 18 | 0.0 % | 0 / 152 | |
| /buildbot/coverage/build/src/prop/minisat/utils |
|
22.4 % | 22 / 98 | 57.9 % | 11 / 19 | 4.5 % | 3 / 66 | |
| /buildbot/coverage/build/src/api/cpp |
|
90.9 % | 3995 / 4397 | 100.0 % | 838 / 838 | 21.1 % | 2575 / 12210 | |
| /buildbot/coverage/build/src/theory/arith/nl/icp |
|
46.0 % | 195 / 424 | 71.4 % | 15 / 21 | 29.0 % | 103 / 355 | |
| /buildbot/coverage/build/build/src/main |
|
32.1 % | 588 / 1829 | 80.0 % | 4 / 5 | 31.2 % | 295 / 947 | |
| /buildbot/coverage/build/src/printer/ast |
|
20.3 % | 43 / 212 | 10.0 % | 4 / 40 | 36.0 % | 18 / 50 | |
| /buildbot/coverage/build/src/preprocessing/util |
|
47.6 % | 576 / 1209 | 61.5 % | 59 / 96 | 41.9 % | 315 / 751 | |
| /buildbot/coverage/build/src/base |
|
80.7 % | 318 / 394 | 27.0 % | 139 / 515 | 43.2 % | 70 / 162 | |
| /buildbot/coverage/build/src/theory/arith/linear |
|
61.1 % | 8727 / 14278 | 71.7 % | 1014 / 1414 | 43.6 % | 5313 / 12195 | |
| /buildbot/coverage/build/src/main |
|
50.4 % | 532 / 1055 | 57.9 % | 44 / 76 | 44.9 % | 277 / 617 | |
| /buildbot/coverage/build/test/unit/api/cpp |
|
99.9 % | 5907 / 5913 | 99.4 % | 1555 / 1564 | 45.8 % | 4688 / 10234 | |
| /buildbot/coverage/build/src/prop/minisat |
|
75.8 % | 605 / 798 | 86.8 % | 59 / 68 | 46.3 % | 324 / 700 | |
| /buildbot/coverage/build/src/theory/fp |
|
80.8 % | 2011 / 2490 | 84.7 % | 238 / 281 | 46.4 % | 1152 / 2482 | |
| /buildbot/coverage/build/src/prop/cadical |
|
73.3 % | 507 / 692 | 77.8 % | 63 / 81 | 46.6 % | 259 / 556 | |
| /buildbot/coverage/build/src/theory/bv/bitblast |
|
85.2 % | 726 / 852 | 79.0 % | 83 / 105 | 49.4 % | 388 / 786 | |
| /buildbot/coverage/build/test/unit/util |
|
100.0 % | 2145 / 2145 | 100.0 % | 459 / 459 | 49.6 % | 2325 / 4686 | |
| /buildbot/coverage/build/build/src/rewriter |
|
99.9 % | 1970 / 1971 | 100.0 % | 16 / 16 | 50.0 % | 1 / 2 | |
| /buildbot/coverage/build/test/unit/proof |
|
100.0 % | 19 / 19 | 100.0 % | 4 / 4 | 50.0 % | 20 / 40 | |
| /buildbot/coverage/build/test/api/cpp/issues |
|
99.3 % | 1687 / 1699 | 100.0 % | 64 / 64 | 50.0 % | 42 / 84 | |
| /buildbot/coverage/build/test/unit/prop |
|
90.1 % | 109 / 121 | 85.5 % | 53 / 62 | 50.0 % | 50 / 100 | |
| /buildbot/coverage/build/test/unit/preprocessing |
|
97.1 % | 1592 / 1640 | 100.0 % | 155 / 155 | 50.1 % | 674 / 1344 | |
| /buildbot/coverage/build/src/theory/bags |
|
83.2 % | 2664 / 3201 | 83.7 % | 257 / 307 | 50.3 % | 1081 / 2148 | |
| /buildbot/coverage/build/test/unit/node |
|
99.9 % | 2344 / 2346 | 99.8 % | 506 / 507 | 50.3 % | 2254 / 4480 | |
| /buildbot/coverage/build/test/unit/base |
|
100.0 % | 111 / 111 | 100.0 % | 43 / 43 | 50.4 % | 120 / 238 | |
| /buildbot/coverage/build/test/unit/api/c |
|
99.7 % | 7050 / 7068 | 99.5 % | 1846 / 1855 | 50.4 % | 2612 / 5180 | |
| /buildbot/coverage/build/test/unit/theory |
|
99.5 % | 6601 / 6631 | 99.9 % | 1646 / 1648 | 50.8 % | 3809 / 7492 | |
| /buildbot/coverage/build/test/unit/context |
|
98.9 % | 436 / 441 | 98.1 % | 101 / 103 | 51.5 % | 437 / 848 | |
| /buildbot/coverage/build/src/context |
|
91.3 % | 616 / 675 | 82.8 % | 1896 / 2291 | 52.2 % | 169 / 324 | |
| /buildbot/coverage/build/test/api/cpp |
|
90.1 % | 219 / 243 | 100.0 % | 13 / 13 | 52.3 % | 45 / 86 | |
| /buildbot/coverage/build/src/theory/arith/nl |
|
74.2 % | 1913 / 2578 | 83.7 % | 139 / 166 | 53.3 % | 1096 / 2055 | |
| /buildbot/coverage/build/src/theory/builtin |
|
81.7 % | 619 / 758 | 83.9 % | 52 / 62 | 53.9 % | 438 / 813 | |
| /buildbot/coverage/build/src/parser |
|
73.6 % | 1994 / 2709 | 70.1 % | 403 / 575 | 55.5 % | 651 / 1174 | |
| /buildbot/coverage/build/src/util |
|
82.2 % | 2991 / 3639 | 80.3 % | 1109 / 1381 | 55.8 % | 1280 / 2294 | |
| /buildbot/coverage/build/src/proof/alethe |
|
84.2 % | 1854 / 2202 | 80.8 % | 42 / 52 | 55.8 % | 932 / 1670 | |
| /buildbot/coverage/build/src/prop |
|
85.6 % | 2485 / 2902 | 85.5 % | 241 / 282 | 56.0 % | 1223 / 2185 | |
| /buildbot/coverage/build/src/proof |
|
80.0 % | 3013 / 3767 | 83.2 % | 288 / 346 | 56.4 % | 1741 / 3088 | |
| /buildbot/coverage/build/test/unit/parser |
|
100.0 % | 168 / 168 | 96.8 % | 30 / 31 | 56.9 % | 33 / 58 | |
| /buildbot/coverage/build/src/theory/arith/nl/transcendental |
|
93.3 % | 1336 / 1432 | 94.0 % | 63 / 67 | 56.9 % | 788 / 1385 | |
| /buildbot/coverage/build/src/theory/quantifiers/ieval |
|
86.4 % | 605 / 700 | 82.2 % | 60 / 73 | 57.4 % | 393 / 685 | |
| /buildbot/coverage/build/src/rewriter |
|
92.8 % | 3089 / 3329 | 88.2 % | 90 / 102 | 57.4 % | 1811 / 3154 | |
| /buildbot/coverage/build/src/theory/quantifiers/sygus |
|
85.6 % | 9415 / 11003 | 89.8 % | 649 / 723 | 57.8 % | 5793 / 10028 | |
| /buildbot/coverage/build/src/expr |
|
87.0 % | 5436 / 6246 | 87.3 % | 2499 / 2864 | 58.2 % | 3061 / 5259 | |
| /buildbot/coverage/build/test/unit/main |
|
100.0 % | 81 / 81 | 100.0 % | 34 / 34 | 58.3 % | 14 / 24 | |
| /buildbot/coverage/build/src/theory/arrays |
|
76.5 % | 1945 / 2544 | 76.8 % | 106 / 138 | 58.9 % | 1346 / 2285 | |
| /buildbot/coverage/build/src/theory/arith/nl/coverings |
|
79.7 % | 1052 / 1320 | 83.6 % | 107 / 128 | 59.1 % | 603 / 1020 | |
| /buildbot/coverage/build/test/api/c |
|
94.1 % | 208 / 221 | 100.0 % | 10 / 10 | 59.4 % | 38 / 64 | |
| /buildbot/coverage/build/src/api/c |
|
96.4 % | 3679 / 3816 | 98.9 % | 539 / 545 | 59.8 % | 3517 / 5884 | |
| /buildbot/coverage/build/src/theory/booleans |
|
90.6 % | 1706 / 1884 | 97.9 % | 94 / 96 | 59.8 % | 1352 / 2260 | |
| /buildbot/coverage/build/src/theory/arith |
|
81.5 % | 3248 / 3986 | 83.6 % | 265 / 317 | 60.3 % | 2101 / 3485 | |
| /buildbot/coverage/build/src/preprocessing |
|
95.5 % | 274 / 287 | 95.7 % | 88 / 92 | 60.5 % | 98 / 162 | |
| /buildbot/coverage/build/src/theory/bv |
|
87.6 % | 4379 / 4998 | 90.4 % | 638 / 706 | 60.8 % | 2386 / 3924 | |
| /buildbot/coverage/build/src/preprocessing/passes |
|
85.0 % | 4324 / 5087 | 95.8 % | 204 / 213 | 60.8 % | 2761 / 4540 | |
| /buildbot/coverage/build/src/theory/uf |
|
85.6 % | 5861 / 6850 | 87.3 % | 385 / 441 | 61.0 % | 3879 / 6363 | |
| /buildbot/coverage/build/src/theory/datatypes |
|
87.2 % | 4400 / 5047 | 89.2 % | 215 / 241 | 61.1 % | 2979 / 4875 | |
| /buildbot/coverage/build/src/theory/quantifiers/fmf |
|
85.5 % | 1596 / 1867 | 93.0 % | 107 / 115 | 61.3 % | 1045 / 1706 | |
| /buildbot/coverage/build/src/prop/minisat/mtl |
|
94.5 % | 239 / 253 | 97.6 % | 201 / 206 | 61.5 % | 139 / 226 | |
| /buildbot/coverage/build/src/theory/ff |
|
89.3 % | 1298 / 1453 | 91.2 % | 155 / 170 | 62.0 % | 788 / 1271 | |
| /buildbot/coverage/build/src/theory/sep |
|
87.8 % | 1182 / 1346 | 86.8 % | 66 / 76 | 62.5 % | 863 / 1381 | |
| /buildbot/coverage/build/test/unit/options |
|
93.2 % | 150 / 161 | 96.6 % | 28 / 29 | 63.0 % | 63 / 100 | |
| /buildbot/coverage/build/src/theory/sets |
|
88.4 % | 4629 / 5236 | 88.1 % | 281 / 319 | 63.0 % | 2801 / 4443 | |
| /buildbot/coverage/build/src/prop/minisat/core |
|
82.5 % | 1134 / 1374 | 87.4 % | 152 / 174 | 63.2 % | 797 / 1262 | |
| /buildbot/coverage/build/build/src/expr |
|
64.1 % | 3250 / 5067 | 77.8 % | 354 / 455 | 63.5 % | 1514 / 2383 | |
| /buildbot/coverage/build/src/decision |
|
94.3 % | 417 / 442 | 87.0 % | 47 / 54 | 63.6 % | 264 / 415 | |
| /buildbot/coverage/build/src/theory/arith/nl/ext |
|
87.9 % | 1650 / 1877 | 97.4 % | 76 / 78 | 63.8 % | 1036 / 1625 | |
| /buildbot/coverage/build/src/theory/quantifiers |
|
86.4 % | 13190 / 15270 | 86.8 % | 937 / 1080 | 64.0 % | 9073 / 14176 | |
| /buildbot/coverage/build/src/theory |
|
85.9 % | 8951 / 10419 | 87.1 % | 975 / 1120 | 64.3 % | 5446 / 8472 | |
| /buildbot/coverage/build/src/theory/arith/rewriter |
|
92.0 % | 424 / 461 | 97.8 % | 44 / 45 | 64.7 % | 278 / 430 | |
| /buildbot/coverage/build/src/options |
|
82.4 % | 266 / 323 | 98.0 % | 149 / 152 | 65.2 % | 116 / 178 | |
| /buildbot/coverage/build/src/theory/quantifiers/ematching |
|
88.3 % | 2278 / 2581 | 87.4 % | 167 / 191 | 65.4 % | 1617 / 2472 | |
| /buildbot/coverage/build/src/theory/strings |
|
84.9 % | 12424 / 14631 | 88.3 % | 586 / 664 | 65.5 % | 8634 / 13179 | |
| /buildbot/coverage/build/src/theory/quantifiers/cegqi |
|
90.9 % | 2566 / 2823 | 85.9 % | 171 / 199 | 66.3 % | 1934 / 2915 | |
| /buildbot/coverage/build/src/smt |
|
85.3 % | 5664 / 6639 | 89.6 % | 475 / 530 | 66.6 % | 3807 / 5718 | |
| /buildbot/coverage/build/test/api/c/issues |
|
100.0 % | 29 / 29 | 100.0 % | 1 / 1 | 66.7 % | 4 / 6 | |
| /buildbot/coverage/build/src/prop/minisat/simp |
|
77.3 % | 350 / 453 | 83.8 % | 31 / 37 | 68.3 % | 295 / 432 | |
| /buildbot/coverage/build/src/proof/eo |
|
76.1 % | 894 / 1174 | 76.5 % | 52 / 68 | 68.3 % | 511 / 748 | |
| /buildbot/coverage/build/src/proof/lfsc |
|
88.8 % | 1644 / 1852 | 88.8 % | 87 / 98 | 71.1 % | 828 / 1164 | |
| /buildbot/coverage/build/src/printer |
|
54.8 % | 280 / 511 | 25.0 % | 23 / 92 | 74.6 % | 179 / 240 | |
| /buildbot/coverage/build/src/parser/smt2 |
|
88.9 % | 2472 / 2782 | 88.9 % | 104 / 117 | 75.7 % | 1090 / 1439 | |
| /buildbot/coverage/build/build/src/options |
|
97.5 % | 5754 / 5904 | 98.9 % | 260 / 263 | 83.3 % | 3182 / 3822 | |
| /buildbot/coverage/build/test/unit/printer |
|
100.0 % | 31 / 31 | 100.0 % | 13 / 13 | 85.0 % | 17 / 20 | |
| /buildbot/coverage/build/src/expr/algorithm |
|
100.0 % | 28 / 28 | 100.0 % | 13 / 13 | 86.4 % | 19 / 22 | |
| /buildbot/coverage/build/src/printer/smt2 |
|
94.9 % | 1367 / 1440 | 95.0 % | 76 / 80 | 89.4 % | 747 / 836 | |
| /buildbot/coverage/build/build/src/theory |
|
95.7 % | 155 / 162 | 100.0 % | 7 / 7 | 92.9 % | 91 / 98 | |
| /buildbot/coverage/build/build/src/api/cpp |
|
99.7 % | 774 / 776 | 100.0 % | 8 / 8 | 99.7 % | 699 / 701 | |
| /buildbot/coverage/build/include/cvc5 |
|
100.0 % | 15 / 15 | 90.0 % | 9 / 10 | - | 0 / 0 | |
|
| Generated by: LCOV version 1.14 |
