| Current view: | top level | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 176017 | 208680 | 84.3 % | |
| Date: | 2025-02-18 13:42:10 | Functions: | 21876 | 25539 | 85.7 % | |
| Branches: | 101414 | 173526 | 58.4 % | |||
|
| 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 % | 570 / 1737 | 100.0 % | 4 / 4 | 31.7 % | 287 / 905 | |
| /buildbot/coverage/build/src/printer/ast |
|
19.6 % | 41 / 209 | 10.0 % | 4 / 40 | 36.0 % | 18 / 50 | |
| /buildbot/coverage/build/src/base |
|
80.1 % | 305 / 381 | 26.7 % | 136 / 510 | 43.2 % | 70 / 162 | |
| /buildbot/coverage/build/src/theory/arith/linear |
|
60.3 % | 8177 / 13558 | 71.5 % | 1011 / 1413 | 43.2 % | 5078 / 11744 | |
| /buildbot/coverage/build/test/unit/preprocessing |
|
96.7 % | 1415 / 1463 | 100.0 % | 79 / 79 | 43.7 % | 255 / 584 | |
| /buildbot/coverage/build/src/preprocessing/util |
|
46.8 % | 521 / 1113 | 61.5 % | 59 / 96 | 43.9 % | 306 / 697 | |
| /buildbot/coverage/build/src/prop/minisat |
|
75.0 % | 557 / 743 | 85.1 % | 57 / 67 | 45.3 % | 300 / 662 | |
| /buildbot/coverage/build/src/theory/fp |
|
80.7 % | 1896 / 2349 | 84.8 % | 239 / 282 | 45.6 % | 1079 / 2368 | |
| /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.4 % | 705 / 826 | 79.0 % | 83 / 105 | 49.2 % | 368 / 748 | |
| /buildbot/coverage/build/src/theory/bags |
|
83.0 % | 2384 / 2873 | 82.4 % | 225 / 273 | 49.9 % | 984 / 1972 | |
| /buildbot/coverage/build/build/src/rewriter |
|
99.9 % | 2197 / 2198 | 100.0 % | 16 / 16 | 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 % | 1926 / 1926 | 100.0 % | 215 / 215 | 50.1 % | 1053 / 2102 | |
| /buildbot/coverage/build/test/unit/api/cpp |
|
99.9 % | 5332 / 5337 | 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/api/c |
|
99.5 % | 6812 / 6847 | 99.0 % | 949 / 959 | 50.8 % | 1280 / 2518 | |
| /buildbot/coverage/build/test/unit/node |
|
99.9 % | 2133 / 2134 | 99.6 % | 262 / 263 | 51.2 % | 1044 / 2040 | |
| /buildbot/coverage/build/test/api/cpp/issues |
|
99.3 % | 1633 / 1644 | 100.0 % | 64 / 64 | 51.6 % | 33 / 64 | |
| /buildbot/coverage/build/test/unit/theory |
|
99.4 % | 5994 / 6029 | 99.6 % | 848 / 851 | 51.7 % | 1963 / 3800 | |
| /buildbot/coverage/build/src/context |
|
91.3 % | 609 / 667 | 82.7 % | 1873 / 2264 | 52.2 % | 164 / 314 | |
| /buildbot/coverage/build/src/theory/arith/nl |
|
75.9 % | 1615 / 2128 | 83.9 % | 130 / 155 | 52.9 % | 949 / 1795 | |
| /buildbot/coverage/build/test/unit/context |
|
99.0 % | 417 / 421 | 96.7 % | 59 / 61 | 53.3 % | 229 / 430 | |
| /buildbot/coverage/build/src/theory/builtin |
|
79.3 % | 583 / 735 | 82.8 % | 53 / 64 | 53.3 % | 401 / 753 | |
| /buildbot/coverage/build/test/api/cpp |
|
91.3 % | 209 / 229 | 100.0 % | 13 / 13 | 54.3 % | 38 / 70 | |
| /buildbot/coverage/build/src/proof |
|
75.6 % | 2461 / 3257 | 83.6 % | 280 / 335 | 54.3 % | 1417 / 2609 | |
| /buildbot/coverage/build/src/api/cpp |
|
87.4 % | 3584 / 4100 | 100.0 % | 826 / 826 | 55.1 % | 2019 / 3663 | |
| /buildbot/coverage/build/src/prop |
|
85.5 % | 2764 / 3232 | 83.6 % | 296 / 354 | 55.2 % | 1427 / 2584 | |
| /buildbot/coverage/build/src/util |
|
82.0 % | 2841 / 3465 | 80.2 % | 1101 / 1373 | 55.4 % | 1240 / 2238 | |
| /buildbot/coverage/build/src/theory/quantifiers/ieval |
|
86.4 % | 565 / 654 | 82.2 % | 60 / 73 | 56.0 % | 371 / 662 | |
| /buildbot/coverage/build/src/theory/arith/nl/transcendental |
|
92.5 % | 1239 / 1339 | 94.0 % | 63 / 67 | 56.2 % | 736 / 1309 | |
| /buildbot/coverage/build/src/theory/quantifiers/sygus |
|
85.7 % | 8766 / 10230 | 89.5 % | 631 / 705 | 56.8 % | 5418 / 9537 | |
| /buildbot/coverage/build/src/expr |
|
86.0 % | 4906 / 5707 | 87.7 % | 2673 / 3047 | 57.2 % | 2751 / 4810 | |
| /buildbot/coverage/build/src/theory/arrays |
|
75.9 % | 1819 / 2398 | 76.6 % | 105 / 137 | 57.9 % | 1209 / 2088 | |
| /buildbot/coverage/build/src/proof/alethe |
|
88.4 % | 1475 / 1668 | 83.0 % | 39 / 47 | 58.1 % | 780 / 1342 | |
| /buildbot/coverage/build/src/theory/booleans |
|
89.7 % | 1519 / 1693 | 97.9 % | 92 / 94 | 58.2 % | 1214 / 2087 | |
| /buildbot/coverage/build/src/theory/arith |
|
79.6 % | 2656 / 3337 | 83.1 % | 246 / 296 | 58.1 % | 1667 / 2867 | |
| /buildbot/coverage/build/src/rewriter |
|
91.6 % | 1842 / 2012 | 85.4 % | 70 / 82 | 58.5 % | 1027 / 1755 | |
| /buildbot/coverage/build/src/parser |
|
73.5 % | 1800 / 2450 | 69.4 % | 393 / 566 | 58.9 % | 575 / 977 | |
| /buildbot/coverage/build/src/theory/arith/nl/coverings |
|
81.3 % | 978 / 1203 | 84.7 % | 105 / 124 | 59.2 % | 585 / 988 | |
| /buildbot/coverage/build/test/api/c |
|
94.1 % | 208 / 221 | 100.0 % | 10 / 10 | 59.4 % | 38 / 64 | |
| /buildbot/coverage/build/src/theory/uf |
|
83.9 % | 5107 / 6088 | 86.7 % | 359 / 414 | 59.3 % | 3414 / 5753 | |
| /buildbot/coverage/build/test/unit/parser |
|
100.0 % | 150 / 150 | 94.7 % | 18 / 19 | 60.0 % | 24 / 40 | |
| /buildbot/coverage/build/src/theory/bv |
|
85.7 % | 3602 / 4205 | 89.7 % | 609 / 679 | 60.2 % | 1988 / 3300 | |
| /buildbot/coverage/build/src/preprocessing/passes |
|
86.8 % | 3656 / 4212 | 96.8 % | 180 / 186 | 60.5 % | 2388 / 3944 | |
| /buildbot/coverage/build/src/theory/datatypes |
|
87.7 % | 4053 / 4620 | 89.0 % | 211 / 237 | 60.5 % | 2780 / 4594 | |
| /buildbot/coverage/build/src/preprocessing |
|
96.3 % | 257 / 267 | 95.6 % | 86 / 90 | 60.8 % | 96 / 158 | |
| /buildbot/coverage/build/build/src/expr |
|
62.4 % | 3089 / 4949 | 77.6 % | 353 / 455 | 60.9 % | 1430 / 2349 | |
| /buildbot/coverage/build/src/theory/quantifiers/fmf |
|
85.1 % | 1470 / 1727 | 93.0 % | 106 / 114 | 61.3 % | 1022 / 1668 | |
| /buildbot/coverage/build/src/theory/ff |
|
89.4 % | 1152 / 1288 | 91.1 % | 154 / 169 | 61.5 % | 731 / 1189 | |
| /buildbot/coverage/build/src/theory/sets |
|
88.1 % | 4305 / 4884 | 87.5 % | 266 / 304 | 61.8 % | 2435 / 3943 | |
| /buildbot/coverage/build/src/theory/sep |
|
87.5 % | 1096 / 1252 | 86.7 % | 65 / 75 | 62.3 % | 820 / 1317 | |
| /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.7 % | 3650 / 3773 | 99.3 % | 538 / 542 | 63.2 % | 3048 / 4826 | |
| /buildbot/coverage/build/src/decision |
|
94.3 % | 397 / 421 | 87.0 % | 47 / 54 | 63.3 % | 259 / 409 | |
| /buildbot/coverage/build/src/theory/quantifiers |
|
86.4 % | 11945 / 13828 | 86.8 % | 908 / 1046 | 63.3 % | 8292 / 13099 | |
| /buildbot/coverage/build/src/theory/arith/nl/ext |
|
86.7 % | 1348 / 1554 | 97.1 % | 67 / 69 | 63.4 % | 858 / 1353 | |
| /buildbot/coverage/build/src/prop/minisat/core |
|
82.2 % | 1076 / 1309 | 87.9 % | 152 / 173 | 63.6 % | 797 / 1254 | |
| /buildbot/coverage/build/src/theory |
|
85.4 % | 8334 / 9762 | 86.8 % | 966 / 1113 | 63.6 % | 5207 / 8183 | |
| /buildbot/coverage/build/src/theory/strings |
|
83.9 % | 11130 / 13270 | 88.3 % | 572 / 648 | 63.9 % | 7563 / 11838 | |
| /buildbot/coverage/build/test/unit/options |
|
93.5 % | 129 / 138 | 95.7 % | 22 / 23 | 64.1 % | 82 / 128 | |
| /buildbot/coverage/build/src/theory/arith/rewriter |
|
91.1 % | 387 / 425 | 97.7 % | 43 / 44 | 64.7 % | 258 / 399 | |
| /buildbot/coverage/build/src/theory/quantifiers/ematching |
|
88.3 % | 2142 / 2427 | 87.6 % | 162 / 185 | 64.7 % | 1544 / 2388 | |
| /buildbot/coverage/build/src/options |
|
82.8 % | 251 / 303 | 98.0 % | 148 / 151 | 65.5 % | 114 / 174 | |
| /buildbot/coverage/build/src/theory/quantifiers/cegqi |
|
90.3 % | 2400 / 2657 | 86.8 % | 165 / 190 | 65.7 % | 1797 / 2736 | |
| /buildbot/coverage/build/src/smt |
|
85.9 % | 5099 / 5938 | 89.5 % | 470 / 525 | 65.9 % | 3533 / 5359 | |
| /buildbot/coverage/build/src/proof/alf |
|
74.8 % | 802 / 1072 | 75.0 % | 51 / 68 | 66.2 % | 473 / 715 | |
| /buildbot/coverage/build/test/api/c/issues |
|
100.0 % | 29 / 29 | 100.0 % | 1 / 1 | 66.7 % | 4 / 6 | |
| /buildbot/coverage/build/src/proof/lfsc |
|
83.8 % | 1447 / 1727 | 86.6 % | 84 / 97 | 69.3 % | 801 / 1156 | |
| /buildbot/coverage/build/src/prop/minisat/simp |
|
76.0 % | 330 / 434 | 83.3 % | 30 / 36 | 69.8 % | 289 / 414 | |
| /buildbot/coverage/build/src/printer |
|
54.7 % | 273 / 499 | 25.3 % | 23 / 91 | 75.2 % | 182 / 242 | |
| /buildbot/coverage/build/src/parser/smt2 |
|
88.7 % | 2271 / 2559 | 88.9 % | 104 / 117 | 75.6 % | 1051 / 1390 | |
| /buildbot/coverage/build/build/src/options |
|
97.6 % | 5580 / 5719 | 98.9 % | 258 / 261 | 83.4 % | 3119 / 3739 | |
| /buildbot/coverage/build/src/expr/algorithm |
|
100.0 % | 27 / 27 | 100.0 % | 13 / 13 | 86.4 % | 19 / 22 | |
| /buildbot/coverage/build/src/printer/smt2 |
|
94.5 % | 1328 / 1406 | 93.7 % | 74 / 79 | 89.1 % | 739 / 829 | |
| /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 % | 28 / 28 | 100.0 % | 7 / 7 | 93.8 % | 15 / 16 | |
| /buildbot/coverage/build/build/src/api/cpp |
|
99.4 % | 786 / 791 | 100.0 % | 8 / 8 | 99.3 % | 719 / 724 | |
| /buildbot/coverage/build/include/cvc5 |
|
100.0 % | 15 / 15 | 90.0 % | 9 / 10 | - | 0 / 0 | |
|
| Generated by: LCOV version 1.14 |
