| Current view: | top level | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 192819 | 227549 | 84.7 % | |
| Date: | 2026-02-25 11:44:22 | Functions: | 25069 | 28760 | 87.2 % | |
| Branches: | 117129 | 209182 | 56.0 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
Directory  |
Line Coverage |
Functions |
Branches |
|||||
| /buildbot/coverage/build/src/proof/dot |
|
0.0 % | 0 / 247 | 0.0 % | 0 / 18 | 0.0 % | 0 / 152 | |
| /buildbot/coverage/build/src/printer/ast |
|
20.3 % | 43 / 212 | 10.0 % | 4 / 40 | 36.0 % | 18 / 50 | |
| /buildbot/coverage/build/src/prop/minisat/utils |
|
22.4 % | 22 / 98 | 57.9 % | 11 / 19 | 4.5 % | 3 / 66 | |
| /buildbot/coverage/build/build/src/main |
|
32.1 % | 584 / 1821 | 80.0 % | 4 / 5 | 31.1 % | 293 / 943 | |
| /buildbot/coverage/build/src/theory/arith/nl/icp |
|
46.0 % | 195 / 424 | 71.4 % | 15 / 21 | 29.0 % | 103 / 355 | |
| /buildbot/coverage/build/src/preprocessing/util |
|
47.6 % | 576 / 1209 | 61.5 % | 59 / 96 | 41.9 % | 315 / 751 | |
| /buildbot/coverage/build/src/main |
|
50.5 % | 532 / 1053 | 57.9 % | 44 / 76 | 44.9 % | 277 / 617 | |
| /buildbot/coverage/build/src/printer |
|
54.8 % | 280 / 511 | 25.0 % | 23 / 92 | 74.6 % | 179 / 240 | |
| /buildbot/coverage/build/src/theory/arith/linear |
|
61.1 % | 8727 / 14285 | 71.6 % | 1010 / 1410 | 43.6 % | 5314 / 12189 | |
| /buildbot/coverage/build/build/src/expr |
|
64.0 % | 3244 / 5067 | 77.8 % | 354 / 455 | 63.5 % | 1514 / 2383 | |
| /buildbot/coverage/build/test/unit |
|
72.2 % | 83 / 115 | 40.4 % | 36 / 89 | 0.0 % | 0 / 7 | |
| /buildbot/coverage/build/src/prop/cadical |
|
73.3 % | 507 / 692 | 76.5 % | 62 / 81 | 46.6 % | 259 / 556 | |
| /buildbot/coverage/build/src/parser |
|
73.6 % | 1976 / 2683 | 70.0 % | 402 / 574 | 55.5 % | 637 / 1148 | |
| /buildbot/coverage/build/src/theory/arith/nl |
|
74.2 % | 1913 / 2578 | 83.4 % | 136 / 163 | 53.3 % | 1096 / 2055 | |
| /buildbot/coverage/build/src/prop/minisat |
|
75.5 % | 600 / 795 | 85.1 % | 57 / 67 | 46.3 % | 324 / 700 | |
| /buildbot/coverage/build/src/proof/alf |
|
76.2 % | 888 / 1165 | 76.5 % | 52 / 68 | 68.3 % | 507 / 742 | |
| /buildbot/coverage/build/src/theory/arrays |
|
76.5 % | 1945 / 2544 | 76.6 % | 105 / 137 | 58.9 % | 1346 / 2285 | |
| /buildbot/coverage/build/src/prop/minisat/simp |
|
77.0 % | 344 / 447 | 83.3 % | 30 / 36 | 69.7 % | 290 / 416 | |
| /buildbot/coverage/build/src/proof |
|
79.6 % | 2948 / 3702 | 83.2 % | 288 / 346 | 56.2 % | 1693 / 3011 | |
| /buildbot/coverage/build/src/theory/arith/nl/coverings |
|
79.7 % | 1053 / 1321 | 83.6 % | 107 / 128 | 59.1 % | 603 / 1020 | |
| /buildbot/coverage/build/src/base |
|
80.7 % | 318 / 394 | 26.9 % | 139 / 516 | 43.2 % | 70 / 162 | |
| /buildbot/coverage/build/src/theory/fp |
|
80.8 % | 2022 / 2501 | 84.9 % | 242 / 285 | 46.3 % | 1158 / 2500 | |
| /buildbot/coverage/build/src/theory/builtin |
|
81.0 % | 614 / 758 | 83.6 % | 51 / 61 | 53.6 % | 436 / 813 | |
| /buildbot/coverage/build/src/theory/arith |
|
81.5 % | 3244 / 3979 | 83.4 % | 262 / 314 | 60.3 % | 2088 / 3463 | |
| /buildbot/coverage/build/src/options |
|
82.3 % | 265 / 322 | 98.0 % | 149 / 152 | 65.2 % | 116 / 178 | |
| /buildbot/coverage/build/src/util |
|
82.2 % | 3003 / 3652 | 80.4 % | 1115 / 1387 | 55.7 % | 1279 / 2296 | |
| /buildbot/coverage/build/src/prop/minisat/core |
|
82.5 % | 1133 / 1373 | 87.3 % | 151 / 173 | 63.4 % | 797 / 1258 | |
| /buildbot/coverage/build/src/theory/bags |
|
82.9 % | 2656 / 3204 | 82.4 % | 229 / 278 | 50.2 % | 1079 / 2148 | |
| /buildbot/coverage/build/src/preprocessing/passes |
|
84.6 % | 4251 / 5027 | 95.6 % | 197 / 206 | 60.6 % | 2693 / 4442 | |
| /buildbot/coverage/build/src/theory/strings |
|
84.9 % | 12420 / 14627 | 88.4 % | 579 / 655 | 65.5 % | 8630 / 13171 | |
| /buildbot/coverage/build/src/theory/bv/bitblast |
|
85.2 % | 726 / 852 | 79.0 % | 83 / 105 | 49.4 % | 388 / 786 | |
| /buildbot/coverage/build/src/prop |
|
85.3 % | 2474 / 2901 | 83.5 % | 238 / 285 | 56.0 % | 1221 / 2180 | |
| /buildbot/coverage/build/src/theory/quantifiers/fmf |
|
85.3 % | 1589 / 1862 | 93.0 % | 106 / 114 | 61.2 % | 1041 / 1702 | |
| /buildbot/coverage/build/src/smt |
|
85.4 % | 5660 / 6631 | 89.6 % | 474 / 529 | 66.6 % | 3803 / 5710 | |
| /buildbot/coverage/build/src/proof/alethe |
|
85.5 % | 1686 / 1972 | 80.4 % | 41 / 51 | 56.0 % | 862 / 1539 | |
| /buildbot/coverage/build/src/theory/uf |
|
85.5 % | 5852 / 6848 | 86.8 % | 376 / 433 | 60.9 % | 3871 / 6361 | |
| /buildbot/coverage/build/src/theory/quantifiers/sygus |
|
85.6 % | 9412 / 10999 | 89.5 % | 631 / 705 | 57.8 % | 5778 / 10000 | |
| /buildbot/coverage/build/src/theory |
|
85.9 % | 8945 / 10417 | 87.0 % | 967 / 1112 | 64.2 % | 5441 / 8471 | |
| /buildbot/coverage/build/src/theory/quantifiers |
|
86.1 % | 12980 / 15075 | 86.4 % | 916 / 1060 | 63.9 % | 8949 / 14004 | |
| /buildbot/coverage/build/src/expr |
|
86.3 % | 5399 / 6258 | 87.1 % | 2497 / 2866 | 58.1 % | 3034 / 5220 | |
| /buildbot/coverage/build/src/theory/quantifiers/ieval |
|
86.4 % | 605 / 700 | 82.2 % | 60 / 73 | 57.4 % | 393 / 685 | |
| /buildbot/coverage/build/src/theory/datatypes |
|
87.2 % | 4400 / 5047 | 89.1 % | 212 / 238 | 61.1 % | 2979 / 4875 | |
| /buildbot/coverage/build/src/theory/bv |
|
87.6 % | 4348 / 4964 | 90.2 % | 636 / 705 | 61.3 % | 2382 / 3883 | |
| /buildbot/coverage/build/src/theory/sep |
|
87.8 % | 1182 / 1346 | 86.7 % | 65 / 75 | 62.5 % | 863 / 1381 | |
| /buildbot/coverage/build/src/theory/arith/nl/ext |
|
87.9 % | 1650 / 1877 | 97.4 % | 75 / 77 | 63.8 % | 1036 / 1625 | |
| /buildbot/coverage/build/src/theory/quantifiers/ematching |
|
88.3 % | 2278 / 2581 | 87.4 % | 167 / 191 | 65.4 % | 1617 / 2472 | |
| /buildbot/coverage/build/src/theory/sets |
|
88.4 % | 4629 / 5236 | 87.5 % | 266 / 304 | 63.1 % | 2793 / 4423 | |
| /buildbot/coverage/build/src/proof/lfsc |
|
88.7 % | 1638 / 1846 | 88.7 % | 86 / 97 | 71.1 % | 826 / 1162 | |
| /buildbot/coverage/build/src/parser/smt2 |
|
88.8 % | 2466 / 2777 | 88.9 % | 104 / 117 | 75.7 % | 1088 / 1437 | |
| /buildbot/coverage/build/src/theory/ff |
|
89.4 % | 1289 / 1442 | 91.2 % | 155 / 170 | 61.8 % | 782 / 1266 | |
| /buildbot/coverage/build/test/unit/prop |
|
90.1 % | 109 / 121 | 85.5 % | 53 / 62 | 50.0 % | 50 / 100 | |
| /buildbot/coverage/build/test/api/cpp |
|
90.1 % | 219 / 243 | 100.0 % | 13 / 13 | 52.3 % | 45 / 86 | |
| /buildbot/coverage/build/src/theory/quantifiers/cegqi |
|
90.4 % | 2553 / 2823 | 86.9 % | 166 / 191 | 65.9 % | 1921 / 2915 | |
| /buildbot/coverage/build/src/theory/booleans |
|
90.6 % | 1706 / 1884 | 97.9 % | 94 / 96 | 59.8 % | 1352 / 2260 | |
| /buildbot/coverage/build/src/api/cpp |
|
90.9 % | 4006 / 4409 | 100.0 % | 830 / 830 | 21.1 % | 2573 / 12210 | |
| /buildbot/coverage/build/src/context |
|
91.3 % | 622 / 681 | 82.7 % | 1897 / 2293 | 52.2 % | 169 / 324 | |
| /buildbot/coverage/build/src/theory/arith/rewriter |
|
92.0 % | 424 / 461 | 97.8 % | 44 / 45 | 64.7 % | 278 / 430 | |
| /buildbot/coverage/build/src/rewriter |
|
92.8 % | 3083 / 3323 | 88.2 % | 90 / 102 | 57.4 % | 1809 / 3152 | |
| /buildbot/coverage/build/test/unit/options |
|
93.2 % | 150 / 161 | 96.6 % | 28 / 29 | 63.0 % | 63 / 100 | |
| /buildbot/coverage/build/src/theory/arith/nl/transcendental |
|
93.3 % | 1336 / 1432 | 94.0 % | 63 / 67 | 56.9 % | 788 / 1385 | |
| /buildbot/coverage/build/test/api/c |
|
94.1 % | 208 / 221 | 100.0 % | 10 / 10 | 59.4 % | 38 / 64 | |
| /buildbot/coverage/build/src/prop/minisat/mtl |
|
94.2 % | 228 / 242 | 97.6 % | 201 / 206 | 61.5 % | 139 / 226 | |
| /buildbot/coverage/build/src/decision |
|
94.3 % | 417 / 442 | 87.0 % | 47 / 54 | 63.6 % | 264 / 415 | |
| /buildbot/coverage/build/src/printer/smt2 |
|
95.0 % | 1375 / 1448 | 95.0 % | 76 / 80 | 89.4 % | 753 / 842 | |
| /buildbot/coverage/build/src/preprocessing |
|
95.5 % | 274 / 287 | 95.7 % | 88 / 92 | 60.5 % | 98 / 162 | |
| /buildbot/coverage/build/build/src/theory |
|
95.7 % | 155 / 162 | 100.0 % | 7 / 7 | 92.9 % | 91 / 98 | |
| /buildbot/coverage/build/src/api/c |
|
96.4 % | 3679 / 3816 | 98.9 % | 539 / 545 | 59.8 % | 3517 / 5884 | |
| /buildbot/coverage/build/test/unit/preprocessing |
|
97.1 % | 1592 / 1640 | 100.0 % | 155 / 155 | 50.1 % | 674 / 1344 | |
| /buildbot/coverage/build/build/src/options |
|
97.4 % | 5739 / 5890 | 98.9 % | 260 / 263 | 83.3 % | 3176 / 3815 | |
| /buildbot/coverage/build/test/unit/context |
|
98.9 % | 436 / 441 | 98.1 % | 101 / 103 | 51.5 % | 437 / 848 | |
| /buildbot/coverage/build/test/api/cpp/issues |
|
99.3 % | 1685 / 1697 | 100.0 % | 64 / 64 | 50.0 % | 42 / 84 | |
| /buildbot/coverage/build/test/unit/theory |
|
99.5 % | 6586 / 6616 | 99.9 % | 1646 / 1648 | 50.8 % | 3797 / 7468 | |
| /buildbot/coverage/build/build/src/api/cpp |
|
99.7 % | 764 / 766 | 100.0 % | 8 / 8 | 99.7 % | 689 / 691 | |
| /buildbot/coverage/build/test/unit/api/c |
|
99.7 % | 7050 / 7068 | 99.5 % | 1846 / 1855 | 50.4 % | 2612 / 5180 | |
| /buildbot/coverage/build/test/unit/api/cpp |
|
99.9 % | 5907 / 5913 | 99.4 % | 1555 / 1564 | 45.8 % | 4688 / 10234 | |
| /buildbot/coverage/build/build/src/rewriter |
|
99.9 % | 1969 / 1970 | 100.0 % | 16 / 16 | 50.0 % | 1 / 2 | |
| /buildbot/coverage/build/test/unit/node |
|
99.9 % | 2344 / 2346 | 99.8 % | 506 / 507 | 50.3 % | 2254 / 4480 | |
| /buildbot/coverage/build/include/cvc5 |
|
100.0 % | 15 / 15 | 90.0 % | 9 / 10 | - | 0 / 0 | |
| /buildbot/coverage/build/test/unit/proof |
|
100.0 % | 19 / 19 | 100.0 % | 4 / 4 | 50.0 % | 20 / 40 | |
| /buildbot/coverage/build/src/expr/algorithm |
|
100.0 % | 28 / 28 | 100.0 % | 13 / 13 | 86.4 % | 19 / 22 | |
| /buildbot/coverage/build/test/api/c/issues |
|
100.0 % | 29 / 29 | 100.0 % | 1 / 1 | 66.7 % | 4 / 6 | |
| /buildbot/coverage/build/test/unit/printer |
|
100.0 % | 31 / 31 | 100.0 % | 13 / 13 | 85.0 % | 17 / 20 | |
| /buildbot/coverage/build/test/unit/main |
|
100.0 % | 81 / 81 | 100.0 % | 34 / 34 | 58.3 % | 14 / 24 | |
| /buildbot/coverage/build/test/unit/base |
|
100.0 % | 111 / 111 | 100.0 % | 43 / 43 | 50.4 % | 120 / 238 | |
| /buildbot/coverage/build/test/unit/parser |
|
100.0 % | 156 / 156 | 96.3 % | 26 / 27 | 56.9 % | 33 / 58 | |
| /buildbot/coverage/build/test/unit/util |
|
100.0 % | 2139 / 2139 | 100.0 % | 455 / 455 | 49.6 % | 2320 / 4676 | |
|
| Generated by: LCOV version 1.14 |
