|
|
|
|
|
|
|
|
Directory  |
Line Coverage  |
Functions |
Branches |
| /buildbot/coverage/build/build/src/api/cpp |
|
99.4 % |
799 / 804 |
100.0 % |
8 / 8 |
99.3 % |
729 / 734 |
| /buildbot/coverage/build/build/src/expr |
|
62.5 % |
3093 / 4949 |
77.8 % |
354 / 455 |
60.8 % |
1429 / 2349 |
| /buildbot/coverage/build/build/src/main |
|
32.8 % |
570 / 1737 |
100.0 % |
4 / 4 |
31.7 % |
287 / 905 |
| /buildbot/coverage/build/build/src/options |
|
97.6 % |
5581 / 5721 |
98.9 % |
258 / 261 |
83.4 % |
3120 / 3742 |
| /buildbot/coverage/build/build/src/rewriter |
|
99.9 % |
2222 / 2223 |
100.0 % |
16 / 16 |
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.7 % |
3650 / 3773 |
99.3 % |
538 / 542 |
63.2 % |
3048 / 4826 |
| /buildbot/coverage/build/src/api/cpp |
|
87.4 % |
3584 / 4100 |
100.0 % |
826 / 826 |
55.1 % |
2019 / 3663 |
| /buildbot/coverage/build/src/base |
|
80.1 % |
305 / 381 |
26.6 % |
136 / 511 |
43.2 % |
70 / 162 |
| /buildbot/coverage/build/src/context |
|
91.3 % |
609 / 667 |
82.7 % |
1874 / 2265 |
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.0 % |
4909 / 5711 |
87.7 % |
2661 / 3035 |
57.2 % |
2755 / 4814 |
| /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.8 % |
251 / 303 |
98.0 % |
148 / 151 |
65.5 % |
114 / 174 |
| /buildbot/coverage/build/src/parser |
|
73.5 % |
1800 / 2450 |
69.4 % |
393 / 566 |
58.9 % |
575 / 977 |
| /buildbot/coverage/build/src/parser/smt2 |
|
88.7 % |
2271 / 2559 |
88.9 % |
104 / 117 |
75.6 % |
1051 / 1390 |
| /buildbot/coverage/build/src/preprocessing |
|
96.3 % |
257 / 267 |
95.6 % |
86 / 90 |
60.8 % |
96 / 158 |
| /buildbot/coverage/build/src/preprocessing/passes |
|
86.8 % |
3659 / 4215 |
96.8 % |
180 / 186 |
60.6 % |
2392 / 3946 |
| /buildbot/coverage/build/src/preprocessing/util |
|
46.8 % |
521 / 1113 |
61.5 % |
59 / 96 |
43.9 % |
306 / 697 |
| /buildbot/coverage/build/src/printer |
|
54.7 % |
273 / 499 |
25.3 % |
23 / 91 |
75.2 % |
182 / 242 |
| /buildbot/coverage/build/src/printer/ast |
|
19.6 % |
41 / 209 |
10.0 % |
4 / 40 |
36.0 % |
18 / 50 |
| /buildbot/coverage/build/src/printer/smt2 |
|
94.5 % |
1329 / 1407 |
93.7 % |
74 / 79 |
89.2 % |
740 / 830 |
| /buildbot/coverage/build/src/proof |
|
75.7 % |
2472 / 3265 |
83.6 % |
281 / 336 |
54.4 % |
1421 / 2613 |
| /buildbot/coverage/build/src/proof/alethe |
|
87.8 % |
1464 / 1668 |
83.0 % |
39 / 47 |
56.9 % |
764 / 1342 |
| /buildbot/coverage/build/src/proof/alf |
|
78.0 % |
845 / 1084 |
76.5 % |
52 / 68 |
68.0 % |
498 / 732 |
| /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.8 % |
1447 / 1727 |
86.6 % |
84 / 97 |
69.3 % |
801 / 1156 |
| /buildbot/coverage/build/src/prop |
|
85.5 % |
2764 / 3232 |
83.6 % |
296 / 354 |
55.2 % |
1427 / 2584 |
| /buildbot/coverage/build/src/prop/minisat |
|
75.0 % |
557 / 743 |
85.1 % |
57 / 67 |
45.3 % |
300 / 662 |
| /buildbot/coverage/build/src/prop/minisat/core |
|
82.2 % |
1076 / 1309 |
87.9 % |
152 / 173 |
63.6 % |
797 / 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.8 % |
289 / 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 |
|
92.1 % |
2385 / 2589 |
86.2 % |
81 / 94 |
56.6 % |
1307 / 2308 |
| /buildbot/coverage/build/src/smt |
|
85.8 % |
5101 / 5944 |
89.5 % |
470 / 525 |
65.8 % |
3537 / 5373 |
| /buildbot/coverage/build/src/theory |
|
85.4 % |
8338 / 9766 |
86.8 % |
966 / 1113 |
63.7 % |
5206 / 8179 |
| /buildbot/coverage/build/src/theory/arith |
|
79.6 % |
2652 / 3333 |
83.1 % |
246 / 296 |
58.1 % |
1667 / 2867 |
| /buildbot/coverage/build/src/theory/arith/linear |
|
60.3 % |
8178 / 13559 |
71.6 % |
1012 / 1414 |
43.2 % |
5078 / 11744 |
| /buildbot/coverage/build/src/theory/arith/nl |
|
75.8 % |
1610 / 2123 |
83.9 % |
130 / 155 |
52.9 % |
949 / 1795 |
| /buildbot/coverage/build/src/theory/arith/nl/coverings |
|
81.1 % |
978 / 1206 |
84.7 % |
105 / 124 |
59.5 % |
585 / 984 |
| /buildbot/coverage/build/src/theory/arith/nl/ext |
|
86.7 % |
1348 / 1554 |
97.1 % |
67 / 69 |
63.4 % |
858 / 1353 |
| /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.5 % |
1236 / 1336 |
94.0 % |
63 / 67 |
56.2 % |
736 / 1309 |
| /buildbot/coverage/build/src/theory/arith/rewriter |
|
91.0 % |
385 / 423 |
97.7 % |
43 / 44 |
64.7 % |
258 / 399 |
| /buildbot/coverage/build/src/theory/arrays |
|
75.9 % |
1815 / 2391 |
76.6 % |
105 / 137 |
58.0 % |
1210 / 2087 |
| /buildbot/coverage/build/src/theory/bags |
|
83.0 % |
2384 / 2873 |
82.4 % |
225 / 273 |
49.9 % |
984 / 1972 |
| /buildbot/coverage/build/src/theory/booleans |
|
89.7 % |
1519 / 1693 |
97.9 % |
92 / 94 |
58.2 % |
1214 / 2087 |
| /buildbot/coverage/build/src/theory/builtin |
|
80.2 % |
596 / 743 |
82.8 % |
53 / 64 |
53.5 % |
418 / 781 |
| /buildbot/coverage/build/src/theory/bv |
|
85.8 % |
3655 / 4260 |
89.5 % |
614 / 686 |
60.2 % |
2008 / 3336 |
| /buildbot/coverage/build/src/theory/bv/bitblast |
|
85.4 % |
705 / 826 |
79.0 % |
83 / 105 |
49.2 % |
368 / 748 |
| /buildbot/coverage/build/src/theory/datatypes |
|
87.7 % |
4052 / 4618 |
89.0 % |
211 / 237 |
60.6 % |
2781 / 4592 |
| /buildbot/coverage/build/src/theory/ff |
|
89.4 % |
1152 / 1288 |
91.1 % |
154 / 169 |
61.5 % |
731 / 1189 |
| /buildbot/coverage/build/src/theory/fp |
|
80.7 % |
1896 / 2349 |
84.8 % |
239 / 282 |
45.6 % |
1079 / 2368 |
| /buildbot/coverage/build/src/theory/quantifiers |
|
86.4 % |
11940 / 13826 |
86.7 % |
910 / 1049 |
63.3 % |
8294 / 13099 |
| /buildbot/coverage/build/src/theory/quantifiers/cegqi |
|
90.3 % |
2400 / 2657 |
86.8 % |
165 / 190 |
65.7 % |
1797 / 2736 |
| /buildbot/coverage/build/src/theory/quantifiers/ematching |
|
88.3 % |
2142 / 2427 |
87.6 % |
162 / 185 |
64.6 % |
1542 / 2386 |
| /buildbot/coverage/build/src/theory/quantifiers/fmf |
|
85.1 % |
1470 / 1727 |
93.0 % |
106 / 114 |
61.3 % |
1022 / 1668 |
| /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 % |
8777 / 10243 |
89.5 % |
631 / 705 |
56.9 % |
5432 / 9553 |
| /buildbot/coverage/build/src/theory/sep |
|
87.5 % |
1096 / 1252 |
86.7 % |
65 / 75 |
62.3 % |
820 / 1317 |
| /buildbot/coverage/build/src/theory/sets |
|
88.1 % |
4298 / 4877 |
87.5 % |
266 / 304 |
61.8 % |
2432 / 3936 |
| /buildbot/coverage/build/src/theory/strings |
|
84.3 % |
11261 / 13351 |
88.3 % |
576 / 652 |
64.0 % |
7654 / 11965 |
| /buildbot/coverage/build/src/theory/uf |
|
83.9 % |
5107 / 6088 |
86.7 % |
359 / 414 |
59.3 % |
3414 / 5753 |
| /buildbot/coverage/build/src/util |
|
82.0 % |
2841 / 3465 |
80.2 % |
1101 / 1373 |
55.4 % |
1240 / 2238 |
| /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 % |
1633 / 1644 |
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 % |
6812 / 6847 |
99.0 % |
949 / 959 |
50.8 % |
1280 / 2518 |
| /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/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 % |
2133 / 2134 |
99.6 % |
262 / 263 |
51.2 % |
1044 / 2040 |
| /buildbot/coverage/build/test/unit/options |
|
93.5 % |
129 / 138 |
95.7 % |
22 / 23 |
64.1 % |
82 / 128 |
| /buildbot/coverage/build/test/unit/parser |
|
100.0 % |
150 / 150 |
94.7 % |
18 / 19 |
60.0 % |
24 / 40 |
| /buildbot/coverage/build/test/unit/preprocessing |
|
96.7 % |
1415 / 1463 |
100.0 % |
79 / 79 |
43.7 % |
255 / 584 |
| /buildbot/coverage/build/test/unit/printer |
|
100.0 % |
28 / 28 |
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 % |
6016 / 6051 |
99.6 % |
850 / 853 |
51.7 % |
1968 / 3810 |
| /buildbot/coverage/build/test/unit/util |
|
100.0 % |
1926 / 1926 |
100.0 % |
215 / 215 |
50.1 % |
1053 / 2102 |
