| 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 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
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.9 % | 184 / 401 | 71.4 % | 15 / 21 | 29.6 % | 105 / 355 | |
| /buildbot/coverage/build/build/src/main |
|
32.8 % | 554 / 1687 | 100.0 % | 4 / 4 | 31.7 % | 279 / 880 | |
| /buildbot/coverage/build/src/printer/ast |
|
19.7 % | 41 / 208 | 10.0 % | 4 / 40 | 36.0 % | 18 / 50 | |
| /buildbot/coverage/build/src/theory/arith/linear |
|
59.9 % | 8018 / 13392 | 71.6 % | 1009 / 1409 | 43.1 % | 5018 / 11646 | |
| /buildbot/coverage/build/src/base |
|
80.1 % | 305 / 381 | 26.5 % | 134 / 506 | 43.2 % | 70 / 162 | |
| /buildbot/coverage/build/test/unit/preprocessing |
|
97.0 % | 1546 / 1594 | 100.0 % | 79 / 79 | 43.7 % | 255 / 584 | |
| /buildbot/coverage/build/src/preprocessing/util |
|
46.7 % | 519 / 1111 | 61.5 % | 59 / 96 | 43.9 % | 306 / 697 | |
| /buildbot/coverage/build/src/prop/minisat |
|
74.5 % | 557 / 748 | 83.8 % | 57 / 68 | 45.3 % | 302 / 666 | |
| /buildbot/coverage/build/src/theory/fp |
|
80.6 % | 1887 / 2340 | 84.7 % | 238 / 281 | 45.4 % | 1073 / 2362 | |
| /buildbot/coverage/build/src/main |
|
54.3 % | 465 / 857 | 58.0 % | 40 / 69 | 46.3 % | 253 / 546 | |
| /buildbot/coverage/build/src/theory/bv/bitblast |
|
85.2 % | 698 / 819 | 79.0 % | 83 / 105 | 49.2 % | 368 / 748 | |
| /buildbot/coverage/build/src/theory/bags |
|
83.1 % | 2389 / 2874 | 82.4 % | 225 / 273 | 49.8 % | 981 / 1968 | |
| /buildbot/coverage/build/build/src/rewriter |
|
99.9 % | 1795 / 1796 | 100.0 % | 14 / 14 | 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 % | 1923 / 1923 | 100.0 % | 215 / 215 | 50.1 % | 1053 / 2102 | |
| /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/api/c |
|
99.5 % | 6801 / 6836 | 99.0 % | 946 / 956 | 50.8 % | 1278 / 2514 | |
| /buildbot/coverage/build/test/unit/node |
|
99.9 % | 2145 / 2146 | 99.6 % | 262 / 263 | 51.2 % | 1044 / 2040 | |
| /buildbot/coverage/build/test/api/cpp/issues |
|
99.3 % | 1632 / 1643 | 100.0 % | 64 / 64 | 51.6 % | 33 / 64 | |
| /buildbot/coverage/build/test/unit/theory |
|
99.4 % | 6175 / 6210 | 99.6 % | 848 / 851 | 51.7 % | 1947 / 3768 | |
| /buildbot/coverage/build/src/context |
|
91.3 % | 609 / 667 | 82.7 % | 1850 / 2238 | 52.2 % | 164 / 314 | |
| /buildbot/coverage/build/src/theory/arith/nl |
|
75.9 % | 1618 / 2132 | 83.9 % | 130 / 155 | 52.9 % | 949 / 1795 | |
| /buildbot/coverage/build/src/proof |
|
73.4 % | 2323 / 3164 | 81.4 % | 259 / 318 | 53.2 % | 1346 / 2531 | |
| /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/theory/builtin |
|
77.5 % | 552 / 712 | 83.6 % | 51 / 61 | 54.7 % | 375 / 686 | |
| /buildbot/coverage/build/src/api/cpp |
|
87.4 % | 3588 / 4107 | 100.0 % | 825 / 825 | 55.1 % | 2022 / 3669 | |
| /buildbot/coverage/build/src/util |
|
82.0 % | 2845 / 3469 | 80.7 % | 1109 / 1374 | 55.6 % | 1248 / 2246 | |
| /buildbot/coverage/build/src/theory/quantifiers/ieval |
|
86.1 % | 563 / 654 | 82.2 % | 60 / 73 | 55.9 % | 370 / 662 | |
| /buildbot/coverage/build/src/prop |
|
86.4 % | 2901 / 3357 | 84.8 % | 302 / 356 | 56.1 % | 1505 / 2682 | |
| /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/quantifiers/sygus |
|
85.7 % | 8782 / 10251 | 89.5 % | 631 / 705 | 56.8 % | 5412 / 9529 | |
| /buildbot/coverage/build/src/theory/arrays |
|
74.4 % | 1727 / 2322 | 76.5 % | 104 / 136 | 57.1 % | 1123 / 1968 | |
| /buildbot/coverage/build/src/expr |
|
86.2 % | 4830 / 5606 | 88.0 % | 2647 / 3007 | 57.1 % | 2705 / 4738 | |
| /buildbot/coverage/build/src/rewriter |
|
89.0 % | 1162 / 1306 | 83.6 % | 56 / 67 | 57.5 % | 688 / 1197 | |
| /buildbot/coverage/build/src/proof/alethe |
|
88.3 % | 1443 / 1634 | 83.0 % | 39 / 47 | 57.5 % | 756 / 1315 | |
| /buildbot/coverage/build/src/parser |
|
73.3 % | 1769 / 2414 | 69.2 % | 389 / 562 | 57.6 % | 548 / 951 | |
| /buildbot/coverage/build/src/theory/arith |
|
78.1 % | 2516 / 3222 | 82.0 % | 241 / 294 | 58.4 % | 1600 / 2740 | |
| /buildbot/coverage/build/src/theory/booleans |
|
89.9 % | 1506 / 1676 | 97.9 % | 92 / 94 | 58.6 % | 1224 / 2089 | |
| /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/uf |
|
83.5 % | 4963 / 5945 | 87.2 % | 354 / 406 | 59.1 % | 3318 / 5612 | |
| /buildbot/coverage/build/test/api/c |
|
94.1 % | 208 / 221 | 100.0 % | 10 / 10 | 59.4 % | 38 / 64 | |
| /buildbot/coverage/build/test/unit/parser |
|
100.0 % | 150 / 150 | 94.7 % | 18 / 19 | 60.0 % | 24 / 40 | |
| /buildbot/coverage/build/src/preprocessing/passes |
|
86.6 % | 3643 / 4207 | 97.2 % | 176 / 181 | 60.2 % | 2365 / 3927 | |
| /buildbot/coverage/build/src/theory/datatypes |
|
87.3 % | 3889 / 4455 | 88.8 % | 207 / 233 | 60.5 % | 2671 / 4416 | |
| /buildbot/coverage/build/src/theory/bv |
|
86.0 % | 3595 / 4180 | 90.1 % | 610 / 677 | 60.5 % | 1958 / 3234 | |
| /buildbot/coverage/build/build/src/expr |
|
62.6 % | 3078 / 4917 | 77.5 % | 352 / 454 | 60.9 % | 1414 / 2320 | |
| /buildbot/coverage/build/src/preprocessing |
|
96.1 % | 247 / 257 | 95.5 % | 85 / 89 | 61.2 % | 82 / 134 | |
| /buildbot/coverage/build/src/theory/quantifiers/fmf |
|
85.1 % | 1482 / 1741 | 93.0 % | 106 / 114 | 61.1 % | 1018 / 1666 | |
| /buildbot/coverage/build/src/theory/ff |
|
89.4 % | 1148 / 1284 | 91.1 % | 154 / 169 | 61.4 % | 729 / 1187 | |
| /buildbot/coverage/build/src/theory/sets |
|
88.0 % | 4157 / 4724 | 87.6 % | 261 / 298 | 61.9 % | 2357 / 3806 | |
| /buildbot/coverage/build/src/theory/sep |
|
87.6 % | 1102 / 1258 | 86.7 % | 65 / 75 | 62.2 % | 818 / 1315 | |
| /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/api/c |
|
96.8 % | 3632 / 3754 | 99.3 % | 537 / 541 | 63.3 % | 3034 / 4796 | |
| /buildbot/coverage/build/src/decision |
|
94.3 % | 397 / 421 | 87.0 % | 47 / 54 | 63.3 % | 259 / 409 | |
| /buildbot/coverage/build/src/theory/quantifiers |
|
86.0 % | 11514 / 13391 | 87.0 % | 894 / 1028 | 63.3 % | 8058 / 12722 | |
| /buildbot/coverage/build/src/prop/minisat/core |
|
82.2 % | 1076 / 1309 | 87.9 % | 152 / 173 | 63.5 % | 796 / 1254 | |
| /buildbot/coverage/build/src/theory |
|
85.1 % | 8254 / 9703 | 86.6 % | 959 / 1108 | 63.5 % | 5185 / 8161 | |
| /buildbot/coverage/build/src/theory/arith/nl/ext |
|
85.1 % | 1080 / 1269 | 96.4 % | 54 / 56 | 63.9 % | 662 / 1036 | |
| /buildbot/coverage/build/test/unit/options |
|
97.1 % | 101 / 104 | 100.0 % | 15 / 15 | 64.3 % | 81 / 126 | |
| /buildbot/coverage/build/src/theory/strings |
|
84.7 % | 11053 / 13051 | 88.6 % | 562 / 634 | 64.5 % | 7484 / 11610 | |
| /buildbot/coverage/build/src/theory/quantifiers/ematching |
|
88.3 % | 2143 / 2428 | 87.6 % | 162 / 185 | 64.6 % | 1542 / 2388 | |
| /buildbot/coverage/build/src/options |
|
82.3 % | 242 / 294 | 98.0 % | 145 / 148 | 64.7 % | 110 / 170 | |
| /buildbot/coverage/build/src/theory/arith/rewriter |
|
90.6 % | 365 / 403 | 97.6 % | 40 / 41 | 64.8 % | 248 / 383 | |
| /buildbot/coverage/build/src/theory/quantifiers/cegqi |
|
90.2 % | 2386 / 2645 | 86.8 % | 165 / 190 | 65.6 % | 1778 / 2710 | |
| /buildbot/coverage/build/test/api/c/issues |
|
100.0 % | 29 / 29 | 100.0 % | 1 / 1 | 66.7 % | 4 / 6 | |
| /buildbot/coverage/build/src/smt |
|
88.7 % | 4985 / 5620 | 93.1 % | 462 / 496 | 67.9 % | 3436 / 5063 | |
| /buildbot/coverage/build/src/proof/lfsc |
|
83.6 % | 1444 / 1727 | 86.6 % | 84 / 97 | 68.3 % | 779 / 1140 | |
| /buildbot/coverage/build/src/prop/minisat/simp |
|
76.0 % | 330 / 434 | 83.3 % | 30 / 36 | 69.6 % | 288 / 414 | |
| /buildbot/coverage/build/src/printer |
|
53.9 % | 264 / 490 | 25.3 % | 23 / 91 | 75.5 % | 173 / 229 | |
| /buildbot/coverage/build/src/parser/smt2 |
|
88.8 % | 2261 / 2545 | 88.9 % | 104 / 117 | 75.7 % | 1041 / 1376 | |
| /buildbot/coverage/build/src/proof/alf |
|
94.5 % | 914 / 967 | 88.7 % | 55 / 62 | 76.5 % | 509 / 665 | |
| /buildbot/coverage/build/build/src/options |
|
97.5 % | 5463 / 5601 | 98.8 % | 256 / 259 | 83.5 % | 3059 / 3663 | |
| /buildbot/coverage/build/src/expr/algorithm |
|
100.0 % | 27 / 27 | 100.0 % | 13 / 13 | 86.4 % | 19 / 22 | |
| /buildbot/coverage/build/src/printer/smt2 |
|
95.0 % | 1317 / 1387 | 93.7 % | 74 / 79 | 89.6 % | 733 / 818 | |
| /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 % | 630 / 632 | 100.0 % | 8 / 8 | 99.7 % | 587 / 589 | |
| /buildbot/coverage/build/include/cvc5 |
|
100.0 % | 15 / 15 | 90.0 % | 9 / 10 | - | 0 / 0 | |
|
| Generated by: LCOV version 1.14 |
