Verdict scry-mcdc
module: evidence/scry-mcdc.instrumented.wasm — schema: https://pulseengine.eu/witness-mcdc/v3
1331
Decisions
13
Full MC/DC
6619
Conditions
292
Proved
1328
Gap
4999
Dead
Decisions
| # | source | status | conditions | gap |
|---|---|---|---|---|
| #0 | lib.rs:232 | no_witness | 10 | 8 |
| #1 | lib.rs:232 | full_mcdc | 2 | 0 |
| #2 | lib.rs:232 | no_witness | 5 | 5 |
| #3 | library/alloc/src/alloc.rs:99 | no_witness | 3 | 3 |
| #4 | lib.rs:232 | no_witness | 2 | 2 |
| #5 | library/core/src/str/pattern.rs:1138 | no_witness | 2 | 2 |
| #6 | library/core/src/str/pattern.rs:1193 | no_witness | 2 | 2 |
| #7 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #8 | library/core/src/str/pattern.rs:1490 | unreached | 2 | 0 |
| #9 | library/core/src/str/pattern.rs:1511 | no_witness | 2 | 2 |
| #10 | lib.rs:2198 | unreached | 2 | 0 |
| #11 | lib.rs:2221 | unreached | 3 | 0 |
| #12 | lib.rs:1883 | unreached | 2 | 0 |
| #13 | library/alloc/src/collections/btree/node.rs:953 | unreached | 2 | 0 |
| #14 | library/core/src/result.rs:967 | unreached | 3 | 0 |
| #15 | library/alloc/src/collections/btree/node.rs:1827 | unreached | 2 | 0 |
| #16 | library/alloc/src/collections/btree/node.rs:558 | unreached | 2 | 0 |
| #17 | library/core/src/ptr/mod.rs:642 | unreached | 4 | 0 |
| #18 | library/alloc/src/collections/btree/node.rs:1079 | unreached | 2 | 0 |
| #19 | lib.rs:2085 | unreached | 3 | 0 |
| #20 | library/alloc/src/vec/mod.rs:2736 | unreached | 2 | 0 |
| #21 | library/core/src/slice/iter/macros.rs:28 | unreached | 2 | 0 |
| #22 | library/alloc/src/raw_vec/mod.rs:434 | unreached | 2 | 0 |
| #23 | library/core/src/iter/adapters/take.rs:37 | unreached | 2 | 0 |
| #24 | lib.rs:4878 | unreached | 2 | 0 |
| #25 | library/core/src/slice/iter/macros.rs:180 | unreached | 2 | 0 |
| #26 | lib.rs:4711 | unreached | 2 | 0 |
| #27 | lib.rs:4723 | unreached | 2 | 0 |
| #28 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 5 | 1 |
| #29 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #30 | library/alloc/src/raw_vec/mod.rs:424 | partial | 2 | 1 |
| #31 | library/core/src/iter/adapters/map.rs:128 | no_witness | 3 | 3 |
| #32 | library/core/src/iter/range.rs:900 | partial | 2 | 1 |
| #33 | lib.rs:3407 | no_witness | 2 | 2 |
| #34 | src/lib.rs:43 | no_witness | 2 | 2 |
| #35 | lib.rs:3454 | no_witness | 2 | 2 |
| #36 | lib.rs:3634 | unreached | 3 | 0 |
| #37 | library/alloc/src/collections/btree/map.rs:1736 | partial | 2 | 1 |
| #38 | library/core/src/cmp.rs:1916 | partial | 2 | 0 |
| #39 | library/core/src/iter/traits/iterator.rs:2670 | partial | 5 | 2 |
| #40 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 1 |
| #41 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #42 | library/core/src/slice/iter/macros.rs:25 | unreached | 3 | 0 |
| #43 | library/alloc/src/collections/btree/node.rs:731 | no_witness | 2 | 2 |
| #44 | library/alloc/src/collections/btree/navigate.rs:224 | unreached | 4 | 0 |
| #45 | library/alloc/src/collections/btree/node.rs:731 | no_witness | 4 | 1 |
| #46 | library/core/src/iter/adapters/copied.rs:81 | no_witness | 2 | 1 |
| #47 | library/alloc/src/collections/btree/navigate.rs:634 | no_witness | 2 | 1 |
| #48 | library/core/src/ptr/mod.rs:825 | partial | 4 | 3 |
| #49 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 5 | 3 |
| #50 | library/core/src/ptr/mod.rs:825 | no_witness | 30 | 11 |
| #51 | library/core/src/num/uint_macros.rs:3757 | no_witness | 2 | 1 |
| #52 | library/core/src/slice/sort/stable/drift.rs:57 | no_witness | 2 | 2 |
| #53 | library/core/src/slice/sort/stable/drift.rs:104 | no_witness | 2 | 2 |
| #54 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 2 | 2 |
| #55 | library/core/src/slice/sort/stable/drift.rs:62 | no_witness | 2 | 1 |
| #56 | library/core/src/slice/sort/stable/drift.rs:205 | unreached | 2 | 0 |
| #57 | library/core/src/slice/sort/stable/drift.rs:204 | unreached | 2 | 0 |
| #58 | library/core/src/slice/sort/stable/drift.rs:57 | unreached | 2 | 0 |
| #59 | library/core/src/slice/sort/stable/drift.rs:170 | unreached | 2 | 0 |
| #60 | library/core/src/slice/sort/stable/drift.rs:87 | unreached | 2 | 0 |
| #61 | library/core/src/slice/sort/stable/drift.rs:269 | unreached | 2 | 0 |
| #62 | library/core/src/slice/sort/stable/mod.rs:127 | unreached | 2 | 0 |
| #63 | library/core/src/slice/sort/stable/drift.rs:87 | unreached | 3 | 0 |
| #64 | library/core/src/ptr/mod.rs:825 | unreached | 3 | 0 |
| #65 | library/core/src/slice/sort/stable/mod.rs:124 | unreached | 2 | 0 |
| #66 | library/core/src/slice/sort/stable/drift.rs:64 | unreached | 2 | 0 |
| #67 | library/core/src/num/uint_macros.rs:3757 | unreached | 2 | 0 |
| #68 | library/core/src/slice/sort/stable/drift.rs:87 | unreached | 2 | 0 |
| #69 | library/core/src/mem/mod.rs:788 | unreached | 2 | 0 |
| #70 | library/core/src/slice/mod.rs:1015 | unreached | 2 | 0 |
| #71 | library/core/src/slice/sort/shared/mod.rs:37 | unreached | 2 | 0 |
| #72 | library/core/src/slice/sort/unstable/quicksort.rs:30 | unreached | 2 | 0 |
| #73 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #74 | library/core/src/slice/sort/shared/pivot.rs:65 | unreached | 6 | 0 |
| #75 | lib.rs:3154 | unreached | 3 | 0 |
| #76 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #77 | library/core/src/slice/sort/shared/pivot.rs:65 | unreached | 2 | 0 |
| #78 | library/core/src/tuple.rs:195 | unreached | 2 | 0 |
| #79 | lib.rs:2782 | unreached | 2 | 0 |
| #80 | lib.rs:2083 | unreached | 2 | 0 |
| #81 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #82 | library/core/src/slice/sort/shared/pivot.rs:69 | unreached | 2 | 0 |
| #83 | library/core/src/tuple.rs:195 | unreached | 2 | 0 |
| #84 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #85 | library/core/src/slice/sort/shared/pivot.rs:67 | unreached | 2 | 0 |
| #86 | library/alloc/src/slice.rs:252 | unreached | 4 | 0 |
| #87 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #88 | library/core/src/hint.rs:876 | unreached | 2 | 0 |
| #89 | lib.rs:2782 | unreached | 2 | 0 |
| #90 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #91 | library/core/src/ptr/mod.rs:551 | unreached | 5 | 0 |
| #92 | library/alloc/src/slice.rs:252 | unreached | 3 | 0 |
| #93 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #94 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #95 | library/core/src/ptr/mod.rs:642 | unreached | 2 | 0 |
| #96 | library/core/src/cmp.rs:1916 | unreached | 4 | 0 |
| #97 | library/core/src/ptr/mod.rs:642 | unreached | 3 | 0 |
| #98 | library/core/src/ptr/mod.rs:1733 | unreached | 2 | 0 |
| #99 | library/core/src/ptr/mod.rs:642 | unreached | 6 | 0 |
| #100 | library/core/src/ptr/mod.rs:642 | unreached | 2 | 0 |
| #101 | library/core/src/ptr/mod.rs:642 | unreached | 2 | 0 |
| #102 | library/core/src/slice/sort/shared/smallsort.rs:333 | unreached | 2 | 0 |
| #103 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #104 | library/core/src/slice/sort/shared/smallsort.rs:820 | unreached | 2 | 0 |
| #105 | library/core/src/slice/sort/shared/smallsort.rs:831 | unreached | 2 | 0 |
| #106 | library/core/src/slice/sort/shared/smallsort.rs:831 | unreached | 2 | 0 |
| #107 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #108 | library/core/src/slice/sort/shared/smallsort.rs:820 | unreached | 2 | 0 |
| #109 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #110 | library/core/src/slice/sort/shared/smallsort.rs:593 | unreached | 2 | 0 |
| #111 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #112 | library/core/src/tuple.rs:195 | unreached | 2 | 0 |
| #113 | library/core/src/ptr/mod.rs:551 | unreached | 5 | 0 |
| #114 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #115 | library/core/src/slice/sort/shared/smallsort.rs:580 | unreached | 2 | 0 |
| #116 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #117 | lib.rs:2664 | unreached | 2 | 0 |
| #118 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #119 | library/core/src/ptr/mod.rs:551 | unreached | 4 | 0 |
| #120 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #121 | library/core/src/cmp.rs:1916 | no_witness | 2 | 2 |
| #122 | library/core/src/ptr/mod.rs:551 | partial | 4 | 2 |
| #123 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #124 | library/core/src/tuple.rs:195 | unreached | 4 | 0 |
| #125 | library/core/src/cmp.rs:1931 | partial | 2 | 1 |
| #126 | library/core/src/ptr/mod.rs:551 | no_witness | 2 | 2 |
| #127 | lib.rs:2074 | unreached | 2 | 0 |
| #128 | library/core/src/hint.rs:876 | unreached | 2 | 0 |
| #129 | library/core/src/tuple.rs:195 | unreached | 4 | 0 |
| #130 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #131 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #132 | library/core/src/ptr/mod.rs:551 | unreached | 5 | 0 |
| #133 | library/core/src/slice/sort/shared/smallsort.rs:560 | unreached | 2 | 0 |
| #134 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #135 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #136 | library/core/src/slice/sort/shared/smallsort.rs:220 | unreached | 3 | 0 |
| #137 | library/core/src/slice/sort/shared/smallsort.rs:255 | unreached | 2 | 0 |
| #138 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #139 | library/core/src/ptr/mod.rs:551 | unreached | 6 | 0 |
| #140 | library/core/src/slice/sort/shared/smallsort.rs:226 | unreached | 2 | 0 |
| #141 | library/core/src/slice/mod.rs:1015 | unreached | 2 | 0 |
| #142 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 2 | 0 |
| #143 | library/core/src/slice/sort/stable/quicksort.rs:16 | unreached | 2 | 0 |
| #144 | library/core/src/slice/sort/stable/quicksort.rs:31 | unreached | 2 | 0 |
| #145 | library/core/src/ptr/mod.rs:551 | unreached | 6 | 0 |
| #146 | lib.rs:2934 | unreached | 2 | 0 |
| #147 | library/core/src/iter/range.rs:900 | unreached | 3 | 0 |
| #148 | library/core/src/ptr/mod.rs:551 | unreached | 4 | 0 |
| #149 | lib.rs:2934 | unreached | 2 | 0 |
| #150 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 3 | 0 |
| #151 | library/core/src/slice/sort/stable/quicksort.rs:16 | unreached | 4 | 0 |
| #152 | library/core/src/slice/sort/stable/quicksort.rs:31 | unreached | 2 | 0 |
| #153 | library/core/src/iter/range.rs:900 | unreached | 6 | 0 |
| #154 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #155 | library/core/src/ptr/mod.rs:551 | unreached | 8 | 0 |
| #156 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 3 | 0 |
| #157 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 2 | 0 |
| #158 | library/core/src/slice/sort/stable/quicksort.rs:226 | unreached | 3 | 0 |
| #159 | library/core/src/slice/sort/stable/quicksort.rs:81 | unreached | 2 | 0 |
| #160 | lib.rs:2074 | unreached | 2 | 0 |
| #161 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 3 | 0 |
| #162 | library/core/src/slice/sort/stable/quicksort.rs:16 | unreached | 4 | 0 |
| #163 | library/core/src/slice/sort/stable/quicksort.rs:31 | unreached | 2 | 0 |
| #164 | library/core/src/cmp.rs:1916 | unreached | 2 | 0 |
| #165 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #166 | library/core/src/ptr/mod.rs:551 | unreached | 10 | 0 |
| #167 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 2 | 0 |
| #168 | library/core/src/slice/sort/stable/quicksort.rs:140 | unreached | 2 | 0 |
| #169 | library/core/src/tuple.rs:195 | unreached | 3 | 0 |
| #170 | library/core/src/slice/mod.rs:1015 | unreached | 3 | 0 |
| #171 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 3 | 0 |
| #172 | library/core/src/slice/sort/stable/quicksort.rs:16 | unreached | 2 | 0 |
| #173 | library/core/src/tuple.rs:195 | unreached | 3 | 0 |
| #174 | library/alloc/src/slice.rs:252 | unreached | 2 | 0 |
| #175 | library/core/src/cmp.rs:1916 | unreached | 3 | 0 |
| #176 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #177 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #178 | library/core/src/ptr/mod.rs:1733 | unreached | 2 | 0 |
| #179 | library/core/src/ptr/mod.rs:551 | unreached | 8 | 0 |
| #180 | library/core/src/slice/sort/stable/quicksort.rs:140 | unreached | 2 | 0 |
| #181 | library/core/src/iter/range.rs:900 | unreached | 3 | 0 |
| #182 | library/core/src/ptr/mod.rs:551 | unreached | 7 | 0 |
| #183 | library/core/src/slice/sort/stable/quicksort.rs:81 | unreached | 2 | 0 |
| #184 | lib.rs:3154 | unreached | 3 | 0 |
| #185 | library/alloc/src/slice.rs:252 | unreached | 4 | 0 |
| #186 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #187 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #188 | library/core/src/ptr/mod.rs:551 | unreached | 8 | 0 |
| #189 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 5 | 0 |
| #190 | library/core/src/slice/sort/stable/quicksort.rs:16 | unreached | 3 | 0 |
| #191 | library/core/src/tuple.rs:195 | unreached | 3 | 0 |
| #192 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #193 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #194 | library/core/src/slice/sort/shared/mod.rs:35 | unreached | 4 | 0 |
| #195 | library/core/src/slice/sort/stable/drift.rs:234 | unreached | 4 | 0 |
| #196 | library/core/src/cmp.rs:1931 | unreached | 3 | 0 |
| #197 | library/core/src/cmp.rs:1931 | unreached | 2 | 0 |
| #198 | library/core/src/iter/range.rs:900 | unreached | 3 | 0 |
| #199 | library/core/src/ptr/mod.rs:551 | unreached | 11 | 0 |
| #200 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 2 | 0 |
| #201 | library/core/src/slice/sort/stable/quicksort.rs:26 | unreached | 2 | 0 |
| #202 | library/core/src/slice/sort/stable/quicksort.rs:140 | unreached | 2 | 0 |
| #203 | library/core/src/tuple.rs:196 | unreached | 7 | 0 |
| #204 | lib.rs:2083 | unreached | 2 | 0 |
| #205 | library/core/src/iter/range.rs:900 | unreached | 3 | 0 |
| #206 | library/core/src/ptr/mod.rs:551 | unreached | 4 | 0 |
| #207 | library/core/src/slice/sort/shared/mod.rs:35 | unreached | 2 | 0 |
| #208 | library/core/src/cmp.rs:1916 | unreached | 2 | 0 |
| #209 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #210 | library/core/src/ptr/mod.rs:551 | unreached | 5 | 0 |
| #211 | library/core/src/slice/mod.rs:1015 | unreached | 3 | 0 |
| #212 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 2 | 0 |
| #213 | library/core/src/slice/sort/stable/quicksort.rs:26 | unreached | 4 | 0 |
| #214 | library/core/src/slice/sort/stable/quicksort.rs:140 | unreached | 2 | 0 |
| #215 | library/core/src/tuple.rs:195 | unreached | 7 | 0 |
| #216 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #217 | library/core/src/ptr/mod.rs:551 | unreached | 8 | 0 |
| #218 | library/core/src/ptr/mut_ptr.rs:1072 | unreached | 2 | 0 |
| #219 | library/core/src/ptr/mod.rs:551 | unreached | 8 | 0 |
| #220 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 2 | 0 |
| #221 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #222 | library/core/src/slice/sort/stable/merge.rs:130 | unreached | 3 | 0 |
| #223 | library/core/src/slice/sort/stable/merge.rs:48 | unreached | 2 | 0 |
| #224 | library/core/src/slice/sort/stable/merge.rs:130 | unreached | 2 | 0 |
| #225 | library/core/src/slice/sort/stable/merge.rs:55 | unreached | 2 | 0 |
| #226 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #227 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #228 | library/core/src/tuple.rs:195 | unreached | 4 | 0 |
| #229 | library/alloc/src/slice.rs:252 | unreached | 2 | 0 |
| #230 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #231 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #232 | library/alloc/src/slice.rs:252 | unreached | 3 | 0 |
| #233 | library/core/src/slice/sort/stable/merge.rs:130 | unreached | 2 | 0 |
| #234 | library/core/src/tuple.rs:195 | unreached | 2 | 0 |
| #235 | library/core/src/cmp.rs:1916 | unreached | 2 | 0 |
| #236 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #237 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #238 | library/core/src/cmp.rs:1916 | unreached | 2 | 0 |
| #239 | library/core/src/slice/sort/unstable/heapsort.rs:52 | unreached | 5 | 0 |
| #240 | library/core/src/slice/sort/unstable/quicksort.rs:312 | unreached | 3 | 0 |
| #241 | library/core/src/ptr/mod.rs:551 | unreached | 4 | 0 |
| #242 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 2 | 0 |
| #243 | library/core/src/slice/sort/unstable/quicksort.rs:312 | unreached | 3 | 0 |
| #244 | library/alloc/src/collections/btree/node.rs:731 | unreached | 2 | 0 |
| #245 | library/alloc/src/collections/btree/node.rs:896 | unreached | 2 | 0 |
| #246 | library/alloc/src/boxed.rs:583 | unreached | 2 | 0 |
| #247 | library/alloc/src/collections/btree/node.rs:694 | unreached | 2 | 0 |
| #248 | library/alloc/src/vec/mod.rs:1037 | unreached | 2 | 0 |
| #249 | lib.rs:3361 | unreached | 2 | 0 |
| #250 | lib.rs:1916 | unreached | 2 | 0 |
| #251 | lib.rs:1916 | unreached | 2 | 0 |
| #252 | library/core/src/slice/iter/macros.rs:180 | unreached | 3 | 0 |
| #253 | library/core/src/ptr/mod.rs:1933 | unreached | 5 | 0 |
| #254 | lib.rs:4544 | unreached | 3 | 0 |
| #255 | library/core/src/slice/index.rs:272 | unreached | 2 | 0 |
| #256 | library/core/src/slice/index.rs:272 | no_witness | 5 | 5 |
| #257 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 2 | 1 |
| #258 | library/core/src/iter/traits/iterator.rs:2670 | partial | 3 | 1 |
| #259 | library/core/src/iter/traits/iterator.rs:2670 | partial | 2 | 1 |
| #260 | lib.rs:3606 | no_witness | 4 | 4 |
| #261 | lib.rs:6794 | no_witness | 3 | 3 |
| #262 | library/alloc/src/fmt.rs:659 | no_witness | 2 | 2 |
| #263 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 5 | 5 |
| #264 | library/core/src/ptr/non_null.rs:1714 | no_witness | 2 | 2 |
| #265 | library/core/src/str/validations.rs:50 | partial | 2 | 1 |
| #266 | library/core/src/str/validations.rs:58 | no_witness | 2 | 2 |
| #267 | lib.rs:6807 | no_witness | 4 | 4 |
| #268 | lib.rs:6818 | full_mcdc | 2 | 0 |
| #269 | lib.rs:3311 | no_witness | 3 | 3 |
| #270 | library/core/src/ptr/mod.rs:1933 | full_mcdc | 2 | 0 |
| #271 | lib.rs:3513 | partial | 2 | 1 |
| #272 | library/alloc/src/raw_vec/mod.rs:492 | no_witness | 2 | 2 |
| #273 | lib.rs:3268 | unreached | 2 | 0 |
| #274 | lib.rs:2499 | unreached | 3 | 0 |
| #275 | lib.rs:2455 | unreached | 2 | 0 |
| #276 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 2 |
| #277 | lib.rs:2517 | no_witness | 4 | 4 |
| #278 | library/alloc/src/vec/mod.rs:2844 | no_witness | 2 | 2 |
| #279 | library/core/src/ptr/mod.rs:1733 | no_witness | 5 | 2 |
| #280 | lib.rs:3167 | no_witness | 5 | 5 |
| #281 | lib.rs:2528 | unreached | 3 | 0 |
| #282 | lib.rs:2545 | unreached | 2 | 0 |
| #283 | lib.rs:2478 | unreached | 2 | 0 |
| #284 | lib.rs:2547 | unreached | 2 | 0 |
| #285 | lib.rs:4342 | no_witness | 2 | 1 |
| #286 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 9 | 5 |
| #287 | library/alloc/src/vec/mod.rs:2844 | no_witness | 4 | 3 |
| #288 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 2 |
| #289 | library/alloc/src/vec/mod.rs:1040 | no_witness | 10 | 1 |
| #290 | library/core/src/cmp.rs:1078 | no_witness | 2 | 1 |
| #291 | library/core/src/option.rs:2842 | no_witness | 7 | 6 |
| #292 | library/core/src/option.rs:1162 | no_witness | 3 | 1 |
| #293 | library/core/src/ptr/mod.rs:1733 | no_witness | 12 | 11 |
| #294 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 2 |
| #295 | library/core/src/ptr/mod.rs:1733 | no_witness | 4 | 1 |
| #296 | library/core/src/ptr/mod.rs:1933 | unreached | 2 | 0 |
| #297 | library/core/src/ptr/mod.rs:1933 | unreached | 5 | 0 |
| #298 | library/core/src/slice/iter/macros.rs:180 | unreached | 6 | 0 |
| #299 | src/lib.rs:297 | no_witness | 2 | 2 |
| #300 | src/lib.rs:890 | no_witness | 2 | 1 |
| #301 | src/lib.rs:963 | no_witness | 2 | 2 |
| #302 | src/lib.rs:898 | partial | 2 | 1 |
| #303 | src/lib.rs:750 | no_witness | 2 | 2 |
| #304 | src/lib.rs:801 | no_witness | 2 | 2 |
| #305 | src/lib.rs:867 | unreached | 3 | 0 |
| #306 | src/lib.rs:824 | unreached | 2 | 0 |
| #307 | src/lib.rs:429 | no_witness | 6 | 5 |
| #308 | src/lib.rs:130 | no_witness | 6 | 2 |
| #309 | lib.rs:4355 | no_witness | 3 | 3 |
| #310 | lib.rs:3717 | no_witness | 3 | 3 |
| #311 | library/core/src/ptr/mod.rs:825 | partial | 5 | 3 |
| #312 | library/core/src/result.rs:2175 | no_witness | 2 | 2 |
| #313 | lib.rs:3726 | no_witness | 21 | 4 |
| #314 | lib.rs:4035 | no_witness | 4 | 2 |
| #315 | lib.rs:3381 | partial | 2 | 1 |
| #316 | library/alloc/src/vec/mod.rs:2844 | full_mcdc | 2 | 0 |
| #317 | library/alloc/src/vec/mod.rs:464 | partial | 2 | 1 |
| #318 | library/core/src/ptr/mod.rs:1733 | no_witness | 2 | 2 |
| #319 | library/core/src/ptr/mod.rs:825 | no_witness | 3 | 1 |
| #320 | library/core/src/slice/cmp.rs:425 | no_witness | 5 | 5 |
| #321 | lib.rs:3745 | partial | 2 | 1 |
| #322 | lib.rs:3738 | unreached | 2 | 0 |
| #323 | lib.rs:3925 | unreached | 8 | 0 |
| #324 | lib.rs:3936 | unreached | 2 | 0 |
| #325 | lib.rs:3964 | unreached | 2 | 0 |
| #326 | lib.rs:3968 | unreached | 2 | 0 |
| #327 | lib.rs:3979 | unreached | 3 | 0 |
| #328 | lib.rs:3883 | no_witness | 2 | 2 |
| #329 | lib.rs:3848 | no_witness | 2 | 2 |
| #330 | lib.rs:5008 | no_witness | 3 | 3 |
| #331 | lib.rs:5047 | no_witness | 3 | 2 |
| #332 | lib.rs:6169 | no_witness | 2 | 2 |
| #333 | lib.rs:1267 | no_witness | 2 | 2 |
| #334 | lib.rs:5057 | no_witness | 8 | 6 |
| #335 | lib.rs:1267 | unreached | 2 | 0 |
| #336 | lib.rs:5164 | no_witness | 2 | 2 |
| #337 | lib.rs:5178 | no_witness | 2 | 2 |
| #338 | lib.rs:5192 | unreached | 2 | 0 |
| #339 | lib.rs:5205 | no_witness | 4 | 4 |
| #340 | lib.rs:5101 | partial | 2 | 1 |
| #341 | lib.rs:5092 | no_witness | 8 | 1 |
| #342 | lib.rs:5315 | no_witness | 2 | 2 |
| #343 | lib.rs:5520 | unreached | 3 | 0 |
| #344 | lib.rs:5219 | no_witness | 5 | 5 |
| #345 | lib.rs:5348 | unreached | 12 | 0 |
| #346 | lib.rs:3549 | no_witness | 2 | 1 |
| #347 | lib.rs:3032 | no_witness | 2 | 1 |
| #348 | lib.rs:3071 | partial | 3 | 1 |
| #349 | library/alloc/src/fmt.rs:659 | no_witness | 5 | 4 |
| #350 | library/alloc/src/raw_vec/mod.rs:424 | partial | 2 | 1 |
| #351 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 2 | 0 |
| #352 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 9 | 5 |
| #353 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 4 | 3 |
| #354 | library/alloc/src/raw_vec/mod.rs:442 | no_witness | 2 | 2 |
| #355 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 1 |
| #356 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 4 | 1 |
| #357 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 3 | 1 |
| #358 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 10 | 9 |
| #359 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 2 |
| #360 | library/alloc/src/vec/mod.rs:2844 | no_witness | 4 | 4 |
| #361 | library/alloc/src/vec/mod.rs:1040 | no_witness | 2 | 1 |
| #362 | library/alloc/src/vec/mod.rs:1037 | unreached | 4 | 0 |
| #363 | library/core/src/option.rs:1366 | no_witness | 2 | 2 |
| #364 | library/core/src/ptr/mod.rs:1933 | no_witness | 19 | 13 |
| #365 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 2 |
| #366 | library/core/src/ptr/mod.rs:1733 | no_witness | 3 | 3 |
| #367 | library/core/src/ptr/mod.rs:1933 | no_witness | 5 | 2 |
| #368 | library/core/src/ptr/mod.rs:1933 | no_witness | 11 | 2 |
| #369 | library/core/src/ptr/mod.rs:551 | partial | 4 | 2 |
| #370 | library/core/src/ptr/mod.rs:1933 | no_witness | 7 | 7 |
| #371 | library/core/src/ptr/mod.rs:551 | no_witness | 5 | 2 |
| #372 | library/core/src/ptr/mut_ptr.rs:961 | no_witness | 2 | 1 |
| #373 | library/core/src/result.rs:2175 | no_witness | 2 | 2 |
| #374 | library/core/src/result.rs:2173 | no_witness | 27 | 17 |
| #375 | library/core/src/slice/cmp.rs:426 | no_witness | 4 | 1 |
| #376 | library/core/src/slice/index.rs:278 | no_witness | 2 | 2 |
| #377 | library/core/src/slice/iter/macros.rs:25 | no_witness | 2 | 1 |
| #378 | library/core/src/slice/iter/macros.rs:279 | no_witness | 2 | 2 |
| #379 | library/core/src/slice/iter/macros.rs:284 | no_witness | 3 | 1 |
| #380 | library/core/src/slice/iter/macros.rs:284 | no_witness | 2 | 1 |
| #381 | lib.rs:3123 | no_witness | 2 | 1 |
| #382 | lib.rs:5629 | full_mcdc | 2 | 0 |
| #383 | lib.rs:5705 | no_witness | 3 | 3 |
| #384 | lib.rs:1176 | no_witness | 2 | 2 |
| #385 | library/alloc/src/raw_vec/mod.rs:442 | no_witness | 3 | 1 |
| #386 | library/alloc/src/raw_vec/mod.rs:492 | unreached | 2 | 0 |
| #387 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 3 | 3 |
| #388 | library/core/src/ptr/mod.rs:1933 | unreached | 2 | 0 |
| #389 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 3 |
| #390 | lib.rs:1177 | no_witness | 5 | 5 |
| #391 | lib.rs:3572 | no_witness | 3 | 3 |
| #392 | lib.rs:3574 | no_witness | 2 | 1 |
| #393 | lib.rs:6493 | no_witness | 7 | 4 |
| #394 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 2 | 0 |
| #395 | library/core/src/slice/cmp.rs:426 | no_witness | 2 | 1 |
| #396 | lib.rs:6585 | no_witness | 2 | 2 |
| #397 | library/alloc/src/vec/mod.rs:1041 | no_witness | 3 | 2 |
| #398 | lib.rs:6669 | partial | 2 | 0 |
| #399 | library/alloc/src/vec/mod.rs:1041 | unreached | 2 | 0 |
| #400 | lib.rs:6711 | no_witness | 4 | 3 |
| #401 | lib.rs:6698 | unreached | 2 | 0 |
| #402 | lib.rs:6731 | no_witness | 2 | 1 |
| #403 | lib.rs:6747 | no_witness | 3 | 2 |
| #404 | lib.rs:3225 | unreached | 2 | 0 |
| #405 | lib.rs:2712 | no_witness | 4 | 4 |
| #406 | lib.rs:2717 | no_witness | 3 | 3 |
| #407 | library/alloc/src/raw_vec/mod.rs:434 | unreached | 2 | 0 |
| #408 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 1 |
| #409 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 2 |
| #410 | library/core/src/num/uint_macros.rs:2428 | no_witness | 3 | 1 |
| #411 | library/core/src/option.rs:1651 | unreached | 3 | 0 |
| #412 | library/core/src/option.rs:1161 | no_witness | 3 | 2 |
| #413 | library/core/src/ptr/mod.rs:1933 | no_witness | 6 | 5 |
| #414 | library/core/src/ptr/non_null.rs:1714 | no_witness | 2 | 1 |
| #415 | library/core/src/slice/iter/macros.rs:180 | no_witness | 8 | 3 |
| #416 | lib.rs:2814 | no_witness | 2 | 2 |
| #417 | library/core/src/option.rs:2843 | no_witness | 2 | 2 |
| #418 | library/core/src/ptr/mod.rs:1733 | no_witness | 2 | 2 |
| #419 | library/core/src/option.rs:2843 | no_witness | 2 | 1 |
| #420 | library/core/src/ptr/mod.rs:1733 | no_witness | 3 | 3 |
| #421 | lib.rs:2800 | no_witness | 4 | 4 |
| #422 | lib.rs:2734 | unreached | 3 | 0 |
| #423 | lib.rs:2749 | unreached | 2 | 0 |
| #424 | lib.rs:4922 | unreached | 2 | 0 |
| #425 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 3 | 1 |
| #426 | library/alloc/src/raw_vec/mod.rs:186 | unreached | 2 | 0 |
| #427 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 2 | 0 |
| #428 | library/alloc/src/vec/mod.rs:1903 | unreached | 2 | 0 |
| #429 | library/alloc/src/vec/spec_from_iter_nested.rs:60 | unreached | 2 | 0 |
| #430 | library/core/src/iter/range.rs:990 | no_witness | 2 | 1 |
| #431 | library/core/src/option.rs:2843 | no_witness | 2 | 1 |
| #432 | library/core/src/ptr/mod.rs:1733 | no_witness | 2 | 1 |
| #433 | library/core/src/ptr/mod.rs:1933 | unreached | 4 | 0 |
| #434 | library/core/src/ptr/non_null.rs:1714 | no_witness | 2 | 1 |
| #435 | library/core/src/slice/index.rs:272 | unreached | 4 | 0 |
| #436 | library/core/src/slice/iter/macros.rs:25 | unreached | 2 | 0 |
| #437 | lib.rs:5744 | no_witness | 6 | 6 |
| #438 | lib.rs:5800 | no_witness | 2 | 2 |
| #439 | lib.rs:5829 | no_witness | 4 | 4 |
| #440 | lib.rs:5815 | no_witness | 2 | 2 |
| #441 | library/alloc/src/fmt.rs:659 | partial | 5 | 4 |
| #442 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 2 |
| #443 | library/alloc/src/slice.rs:452 | no_witness | 2 | 2 |
| #444 | library/core/src/option.rs:1366 | no_witness | 2 | 2 |
| #445 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #446 | lib.rs:5847 | no_witness | 4 | 4 |
| #447 | library/core/src/num/int_macros.rs:1960 | partial | 2 | 1 |
| #448 | library/alloc/src/collections/btree/map.rs:1889 | unreached | 2 | 0 |
| #449 | library/alloc/src/collections/btree/search.rs:225 | unreached | 2 | 0 |
| #450 | library/alloc/src/raw_vec/mod.rs:492 | unreached | 2 | 0 |
| #451 | library/core/src/ptr/mod.rs:825 | unreached | 2 | 0 |
| #452 | library/core/src/slice/index.rs:272 | unreached | 2 | 0 |
| #453 | library/alloc/src/collections/btree/navigate.rs:225 | no_witness | 2 | 1 |
| #454 | library/alloc/src/collections/btree/node.rs:731 | unreached | 4 | 0 |
| #455 | library/core/src/mem/mod.rs:930 | no_witness | 2 | 1 |
| #456 | lib.rs:4397 | no_witness | 2 | 2 |
| #457 | library/alloc/src/collections/btree/map.rs:1940 | partial | 2 | 1 |
| #458 | library/alloc/src/collections/btree/navigate.rs:634 | no_witness | 2 | 2 |
| #459 | library/alloc/src/collections/btree/node.rs:731 | partial | 2 | 1 |
| #460 | library/alloc/src/raw_vec/mod.rs:614 | full_mcdc | 2 | 0 |
| #461 | library/core/src/option.rs:1011 | no_witness | 2 | 2 |
| #462 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #463 | library/core/src/slice/cmp.rs:426 | no_witness | 4 | 4 |
| #464 | library/core/src/slice/iter/macros.rs:180 | no_witness | 3 | 2 |
| #465 | library/core/src/slice/cmp.rs:426 | no_witness | 2 | 2 |
| #466 | lib.rs:4444 | no_witness | 2 | 2 |
| #467 | lib.rs:2855 | no_witness | 3 | 1 |
| #468 | lib.rs:2830 | unreached | 2 | 0 |
| #469 | library/alloc/src/raw_vec/mod.rs:424 | unreached | 2 | 0 |
| #470 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 1 |
| #471 | library/core/src/slice/cmp.rs:426 | no_witness | 7 | 3 |
| #472 | lib.rs:2855 | no_witness | 3 | 1 |
| #473 | lib.rs:2935 | partial | 2 | 0 |
| #474 | lib.rs:6273 | no_witness | 5 | 2 |
| #475 | lib.rs:6305 | unreached | 7 | 0 |
| #476 | library/alloc/src/fmt.rs:659 | no_witness | 3 | 1 |
| #477 | library/alloc/src/raw_vec/mod.rs:424 | unreached | 2 | 0 |
| #478 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 5 | 0 |
| #479 | library/alloc/src/vec/mod.rs:1037 | no_witness | 4 | 4 |
| #480 | library/alloc/src/vec/mod.rs:1041 | no_witness | 4 | 1 |
| #481 | library/alloc/src/vec/mod.rs:2844 | no_witness | 8 | 3 |
| #482 | library/core/src/cmp.rs:1916 | unreached | 3 | 0 |
| #483 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #484 | library/core/src/ptr/mod.rs:1933 | no_witness | 6 | 2 |
| #485 | library/core/src/ptr/mod.rs:551 | no_witness | 3 | 2 |
| #486 | library/core/src/slice/index.rs:272 | no_witness | 4 | 1 |
| #487 | library/core/src/slice/sort/stable/mod.rs:83 | unreached | 2 | 0 |
| #488 | lib.rs:6351 | unreached | 4 | 0 |
| #489 | lib.rs:825 | no_witness | 2 | 1 |
| #490 | lib.rs:6356 | no_witness | 2 | 1 |
| #491 | library/core/src/ptr/mod.rs:1933 | no_witness | 12 | 10 |
| #492 | library/core/src/slice/iter/macros.rs:284 | unreached | 2 | 0 |
| #493 | lib.rs:4605 | no_witness | 3 | 3 |
| #494 | lib.rs:4950 | unreached | 2 | 0 |
| #495 | lib.rs:4964 | unreached | 2 | 0 |
| #496 | lib.rs:5924 | no_witness | 3 | 2 |
| #497 | lib.rs:4480 | no_witness | 3 | 2 |
| #498 | lib.rs:4482 | no_witness | 2 | 2 |
| #499 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 4 | 2 |
| #500 | library/alloc/src/vec/mod.rs:1040 | no_witness | 3 | 3 |
| #501 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 1 |
| #502 | library/core/src/iter/traits/iterator.rs:2493 | no_witness | 4 | 2 |
| #503 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #504 | library/core/src/ptr/mod.rs:825 | no_witness | 6 | 1 |
| #505 | library/core/src/slice/cmp.rs:426 | no_witness | 4 | 4 |
| #506 | library/core/src/slice/iter/macros.rs:180 | no_witness | 2 | 1 |
| #507 | lib.rs:4506 | no_witness | 2 | 2 |
| #508 | library/alloc/src/vec/mod.rs:2742 | partial | 2 | 1 |
| #509 | lib.rs:1275 | partial | 15 | 0 |
| #510 | lib.rs:1302 | no_witness | 2 | 1 |
| #511 | library/alloc/src/vec/mod.rs:2756 | no_witness | 2 | 2 |
| #512 | lib.rs:1280 | partial | 3 | 1 |
| #513 | lib.rs:1459 | partial | 3 | 0 |
| #514 | library/alloc/src/vec/mod.rs:464 | unreached | 5 | 0 |
| #515 | library/core/src/iter/adapters/zip.rs:304 | no_witness | 2 | 2 |
| #516 | library/core/src/num/uint_macros.rs:701 | no_witness | 5 | 2 |
| #517 | library/core/src/ptr/mod.rs:1733 | partial | 3 | 1 |
| #518 | library/core/src/slice/mod.rs:4326 | no_witness | 14 | 14 |
| #519 | src/core_api.rs:62 | no_witness | 7 | 5 |
| #520 | src/digest.rs:127 | no_witness | 2 | 2 |
| #521 | src/lib.rs:300 | no_witness | 2 | 1 |
| #522 | lib.rs:1459 | no_witness | 9 | 7 |
| #523 | lib.rs:1466 | no_witness | 3 | 2 |
| #524 | lib.rs:1753 | no_witness | 8 | 6 |
| #525 | lib.rs:1649 | no_witness | 5 | 2 |
| #526 | lib.rs:5912 | no_witness | 7 | 6 |
| #527 | lib.rs:5944 | no_witness | 2 | 2 |
| #528 | lib.rs:1532 | no_witness | 12 | 9 |
| #529 | lib.rs:1587 | no_witness | 2 | 2 |
| #530 | lib.rs:1598 | no_witness | 7 | 7 |
| #531 | lib.rs:1622 | partial | 3 | 2 |
| #532 | lib.rs:1523 | no_witness | 3 | 3 |
| #533 | lib.rs:1484 | no_witness | 6 | 6 |
| #534 | lib.rs:1520 | unreached | 8 | 0 |
| #535 | lib.rs:1567 | unreached | 13 | 0 |
| #536 | lib.rs:1809 | no_witness | 2 | 2 |
| #537 | lib.rs:1853 | unreached | 3 | 0 |
| #538 | lib.rs:1874 | no_witness | 3 | 3 |
| #539 | lib.rs:1885 | no_witness | 4 | 2 |
| #540 | lib.rs:1983 | no_witness | 2 | 1 |
| #541 | lib.rs:2059 | partial | 3 | 2 |
| #542 | lib.rs:2160 | no_witness | 2 | 2 |
| #543 | lib.rs:2262 | no_witness | 2 | 2 |
| #544 | lib.rs:2289 | no_witness | 4 | 4 |
| #545 | lib.rs:2313 | no_witness | 2 | 1 |
| #546 | lib.rs:2396 | no_witness | 5 | 4 |
| #547 | lib.rs:2415 | no_witness | 3 | 3 |
| #548 | library/alloc/src/fmt.rs:659 | no_witness | 2 | 2 |
| #549 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 2 |
| #550 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 3 | 3 |
| #551 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 2 |
| #552 | library/alloc/src/raw_vec/mod.rs:434 | unreached | 2 | 0 |
| #553 | library/alloc/src/vec/mod.rs:1040 | no_witness | 2 | 1 |
| #554 | library/alloc/src/vec/mod.rs:1041 | no_witness | 3 | 3 |
| #555 | library/alloc/src/vec/spec_from_iter.rs:33 | full_mcdc | 2 | 0 |
| #556 | library/core/src/iter/adapters/enumerate.rs:84 | unreached | 2 | 0 |
| #557 | library/core/src/iter/range.rs:900 | no_witness | 5 | 3 |
| #558 | library/core/src/iter/traits/iterator.rs:2670 | unreached | 2 | 0 |
| #559 | library/core/src/option.rs:2775 | no_witness | 3 | 1 |
| #560 | library/core/src/ptr/mod.rs:825 | no_witness | 5 | 4 |
| #561 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #562 | library/core/src/ptr/mod.rs:551 | no_witness | 2 | 2 |
| #563 | library/core/src/ptr/mod.rs:825 | no_witness | 2 | 2 |
| #564 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #565 | library/core/src/ptr/mod.rs:825 | partial | 2 | 1 |
| #566 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #567 | library/core/src/ptr/mod.rs:825 | no_witness | 10 | 10 |
| #568 | library/core/src/ptr/mod.rs:1733 | no_witness | 2 | 2 |
| #569 | library/core/src/result.rs:2173 | no_witness | 3 | 3 |
| #570 | library/core/src/result.rs:967 | no_witness | 2 | 2 |
| #571 | library/core/src/result.rs:966 | unreached | 4 | 0 |
| #572 | library/core/src/result.rs:966 | no_witness | 4 | 4 |
| #573 | library/core/src/result.rs:2189 | no_witness | 8 | 8 |
| #574 | library/core/src/result.rs:966 | no_witness | 3 | 3 |
| #575 | library/core/src/result.rs:2173 | no_witness | 3 | 1 |
| #576 | library/core/src/result.rs:967 | no_witness | 2 | 2 |
| #577 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #578 | src/binary_reader.rs:232 | no_witness | 2 | 1 |
| #579 | src/binary_reader.rs:232 | no_witness | 2 | 2 |
| #580 | src/hex.rs:42 | no_witness | 3 | 3 |
| #581 | src/parser.rs:1094 | no_witness | 2 | 2 |
| #582 | src/readers.rs:212 | no_witness | 7 | 7 |
| #583 | src/readers.rs:140 | unreached | 2 | 0 |
| #584 | src/readers.rs:212 | unreached | 3 | 0 |
| #585 | src/readers.rs:197 | partial | 2 | 1 |
| #586 | src/readers.rs:213 | no_witness | 4 | 4 |
| #587 | library/core/src/slice/iter/macros.rs:332 | no_witness | 2 | 2 |
| #588 | library/alloc/src/raw_vec/mod.rs:675 | unreached | 2 | 0 |
| #589 | library/core/src/option.rs:1366 | no_witness | 3 | 3 |
| #590 | library/core/src/ptr/mod.rs:1733 | partial | 2 | 1 |
| #591 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 2 |
| #592 | library/core/src/ptr/mod.rs:551 | no_witness | 2 | 2 |
| #593 | lib.rs:3673 | unreached | 5 | 0 |
| #594 | library/alloc/src/raw_vec/mod.rs:492 | partial | 2 | 1 |
| #595 | library/alloc/src/raw_vec/mod.rs:492 | unreached | 3 | 0 |
| #596 | library/core/src/mem/mod.rs:930 | unreached | 2 | 0 |
| #597 | library/core/src/mem/maybe_uninit.rs:574 | partial | 2 | 1 |
| #598 | library/core/src/ptr/mod.rs:825 | no_witness | 2 | 2 |
| #599 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 2 |
| #600 | lib.rs:4097 | no_witness | 3 | 3 |
| #601 | lib.rs:4111 | no_witness | 2 | 2 |
| #602 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #603 | src/lib.rs:69 | no_witness | 2 | 2 |
| #604 | lib.rs:4110 | no_witness | 3 | 3 |
| #605 | lib.rs:4129 | no_witness | 2 | 2 |
| #606 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 2 |
| #607 | lib.rs:98 | unreached | 2 | 0 |
| #608 | lib.rs:4179 | no_witness | 5 | 3 |
| #609 | lib.rs:4198 | no_witness | 5 | 3 |
| #610 | library/alloc/src/raw_vec/mod.rs:424 | partial | 4 | 3 |
| #611 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 3 | 3 |
| #612 | library/core/src/option.rs:2775 | unreached | 3 | 0 |
| #613 | library/core/src/option.rs:967 | no_witness | 3 | 3 |
| #614 | library/core/src/ptr/mod.rs:1933 | no_witness | 3 | 3 |
| #615 | library/core/src/ptr/mod.rs:825 | no_witness | 2 | 2 |
| #616 | library/core/src/ptr/mod.rs:825 | no_witness | 7 | 7 |
| #617 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #618 | library/core/src/slice/cmp.rs:131 | no_witness | 5 | 2 |
| #619 | library/core/src/slice/iter/macros.rs:284 | no_witness | 3 | 2 |
| #620 | src/lib.rs:69 | no_witness | 3 | 1 |
| #621 | src/readers/core/operators.rs:333 | no_witness | 14 | 6 |
| #622 | src/readers/core/operators.rs:333 | no_witness | 2 | 2 |
| #623 | src/readers/core/operators.rs:333 | no_witness | 3 | 1 |
| #624 | library/core/src/ptr/mod.rs:825 | unreached | 2 | 0 |
| #625 | library/core/src/ptr/mod.rs:825 | unreached | 2 | 0 |
| #626 | lib.rs:96 | unreached | 2 | 0 |
| #627 | lib.rs:81 | unreached | 2 | 0 |
| #628 | lib.rs:105 | unreached | 2 | 0 |
| #629 | lib.rs:73 | unreached | 2 | 0 |
| #630 | lib.rs:256 | no_witness | 2 | 2 |
| #631 | lib.rs:70 | unreached | 2 | 0 |
| #632 | lib.rs:110 | unreached | 2 | 0 |
| #633 | lib.rs:109 | unreached | 2 | 0 |
| #634 | lib.rs:70 | unreached | 3 | 0 |
| #635 | lib.rs:272 | unreached | 6 | 0 |
| #636 | library/alloc/src/alloc.rs:196 | unreached | 2 | 0 |
| #637 | library/alloc/src/raw_vec/mod.rs:469 | unreached | 2 | 0 |
| #638 | library/alloc/src/vec/mod.rs:1864 | unreached | 2 | 0 |
| #639 | library/core/src/cmp.rs:1038 | unreached | 2 | 0 |
| #640 | library/core/src/slice/index.rs:272 | unreached | 2 | 0 |
| #641 | lib.rs:86 | unreached | 2 | 0 |
| #642 | library/alloc/src/raw_vec/mod.rs:469 | unreached | 2 | 0 |
| #643 | library/alloc/src/vec/mod.rs:3666 | unreached | 2 | 0 |
| #644 | library/core/src/intrinsics/mod.rs:459 | unreached | 2 | 0 |
| #645 | library/core/src/iter/range.rs:900 | unreached | 6 | 0 |
| #646 | library/core/src/ptr/mod.rs:1933 | unreached | 5 | 0 |
| #647 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 5 | 0 |
| #648 | library/core/src/slice/index.rs:278 | unreached | 2 | 0 |
| #649 | library/core/src/ptr/mod.rs:825 | unreached | 2 | 0 |
| #650 | library/core/src/slice/mod.rs:5577 | unreached | 2 | 0 |
| #651 | lib.rs:288 | unreached | 6 | 0 |
| #652 | lib.rs:307 | unreached | 2 | 0 |
| #653 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #654 | lib.rs:323 | unreached | 4 | 0 |
| #655 | lib.rs:264 | unreached | 3 | 0 |
| #656 | lib.rs:251 | unreached | 2 | 0 |
| #657 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #658 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #659 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #660 | library/core/src/result.rs:2175 | unreached | 2 | 0 |
| #661 | lib.rs:334 | unreached | 2 | 0 |
| #662 | lib.rs:335 | no_witness | 2 | 1 |
| #663 | library/core/src/result.rs:2174 | no_witness | 3 | 3 |
| #664 | library/alloc/src/raw_vec/mod.rs:442 | unreached | 2 | 0 |
| #665 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #666 | library/alloc/src/vec/mod.rs:1041 | no_witness | 2 | 2 |
| #667 | lib.rs:349 | no_witness | 6 | 6 |
| #668 | lib.rs:245 | unreached | 5 | 0 |
| #669 | lib.rs:175 | unreached | 2 | 0 |
| #670 | lib.rs:186 | unreached | 2 | 0 |
| #671 | library/alloc/src/raw_vec/mod.rs:493 | unreached | 2 | 0 |
| #672 | library/alloc/src/raw_vec/mod.rs:461 | unreached | 2 | 0 |
| #673 | library/core/src/fmt/builders.rs:788 | unreached | 2 | 0 |
| #674 | library/core/src/fmt/mod.rs:2132 | unreached | 4 | 0 |
| #675 | library/alloc/src/vec/mod.rs:2742 | unreached | 4 | 0 |
| #676 | library/core/src/slice/sort/shared/mod.rs:40 | unreached | 3 | 0 |
| #677 | library/core/src/slice/mod.rs:1015 | partial | 2 | 1 |
| #678 | library/core/src/mem/mod.rs:788 | no_witness | 3 | 3 |
| #679 | library/core/src/slice/sort/unstable/quicksort.rs:37 | partial | 3 | 2 |
| #680 | library/core/src/cmp.rs:1916 | unreached | 2 | 0 |
| #681 | library/core/src/ptr/mod.rs:551 | full_mcdc | 2 | 0 |
| #682 | library/core/src/ptr/mod.rs:642 | no_witness | 2 | 2 |
| #683 | library/core/src/ptr/mod.rs:642 | unreached | 2 | 0 |
| #684 | library/core/src/ptr/mod.rs:642 | unreached | 2 | 0 |
| #685 | library/core/src/ptr/mod.rs:642 | unreached | 3 | 0 |
| #686 | library/core/src/slice/sort/shared/smallsort.rs:311 | unreached | 2 | 0 |
| #687 | lib.rs:122 | unreached | 2 | 0 |
| #688 | library/alloc/src/raw_vec/mod.rs:619 | unreached | 2 | 0 |
| #689 | library/alloc/src/vec/mod.rs:464 | unreached | 2 | 0 |
| #690 | library/alloc/src/vec/mod.rs:2742 | unreached | 2 | 0 |
| #691 | library/core/src/ptr/mod.rs:551 | unreached | 2 | 0 |
| #692 | lib.rs:200 | unreached | 2 | 0 |
| #693 | library/alloc/src/raw_vec/mod.rs:776 | unreached | 2 | 0 |
| #694 | library/alloc/src/raw_vec/mod.rs:460 | unreached | 2 | 0 |
| #695 | lib.rs:92 | unreached | 2 | 0 |
| #696 | library/alloc/src/vec/mod.rs:2736 | unreached | 4 | 0 |
| #697 | lib.rs:217 | unreached | 2 | 0 |
| #698 | lib.rs:105 | unreached | 3 | 0 |
| #699 | library/alloc/src/vec/mod.rs:1037 | unreached | 2 | 0 |
| #700 | library/core/src/slice/iter/macros.rs:180 | unreached | 2 | 0 |
| #701 | library/alloc/src/vec/mod.rs:1046 | no_witness | 2 | 2 |
| #702 | lib.rs:92 | unreached | 4 | 0 |
| #703 | lib.rs:133 | unreached | 3 | 0 |
| #704 | lib.rs:91 | unreached | 6 | 0 |
| #705 | library/alloc/src/vec/mod.rs:2736 | unreached | 3 | 0 |
| #706 | library/alloc/src/vec/mod.rs:2221 | unreached | 2 | 0 |
| #707 | library/core/src/cmp.rs:1878 | unreached | 3 | 0 |
| #708 | lib.rs:91 | no_witness | 8 | 1 |
| #709 | library/core/src/ptr/non_null.rs:1714 | unreached | 2 | 0 |
| #710 | lib.rs:91 | unreached | 3 | 0 |
| #711 | lib.rs:168 | unreached | 4 | 0 |
| #712 | lib.rs:91 | unreached | 6 | 0 |
| #713 | lib.rs:74 | unreached | 2 | 0 |
| #714 | library/alloc/src/raw_vec/mod.rs:634 | unreached | 2 | 0 |
| #715 | library/alloc/src/raw_vec/mod.rs:564 | unreached | 3 | 0 |
| #716 | library/alloc/src/vec/mod.rs:1037 | unreached | 2 | 0 |
| #717 | lib.rs:68 | unreached | 2 | 0 |
| #718 | lib.rs:143 | unreached | 2 | 0 |
| #719 | library/core/src/iter/traits/iterator.rs:2494 | unreached | 2 | 0 |
| #720 | library/core/src/slice/iter/macros.rs:25 | unreached | 2 | 0 |
| #721 | library/core/src/iter/traits/iterator.rs:2493 | unreached | 3 | 0 |
| #722 | library/core/src/slice/iter/macros.rs:28 | unreached | 2 | 0 |
| #723 | library/core/src/cmp.rs:1039 | unreached | 2 | 0 |
| #724 | lib.rs:197 | unreached | 3 | 0 |
| #725 | lib.rs:219 | unreached | 3 | 0 |
| #726 | library/core/src/num/int_macros.rs:1960 | unreached | 2 | 0 |
| #727 | library/core/src/num/int_macros.rs:2776 | unreached | 2 | 0 |
| #728 | lib.rs:231 | no_witness | 5 | 5 |
| #729 | library/alloc/src/raw_vec/mod.rs:460 | unreached | 2 | 0 |
| #730 | library/alloc/src/raw_vec/mod.rs:469 | partial | 3 | 0 |
| #731 | library/core/src/ptr/mod.rs:551 | full_mcdc | 2 | 0 |
| #732 | lib.rs:85 | no_witness | 2 | 2 |
| #733 | lib.rs:388 | unreached | 2 | 0 |
| #734 | library/core/src/slice/index.rs:278 | partial | 3 | 1 |
| #735 | library/core/src/slice/index.rs:278 | no_witness | 4 | 4 |
| #736 | lib.rs:408 | no_witness | 2 | 2 |
| #737 | library/core/src/ptr/mod.rs:551 | no_witness | 2 | 2 |
| #738 | lib.rs:85 | unreached | 2 | 0 |
| #739 | lib.rs:73 | unreached | 2 | 0 |
| #740 | lib.rs:90 | unreached | 2 | 0 |
| #741 | lib.rs:207 | unreached | 2 | 0 |
| #742 | library/alloc/src/alloc.rs:99 | unreached | 2 | 0 |
| #743 | library/alloc/src/raw_vec/mod.rs:460 | unreached | 2 | 0 |
| #744 | library/alloc/src/raw_vec/mod.rs:435 | unreached | 2 | 0 |
| #745 | library/alloc/src/raw_vec/mod.rs:460 | unreached | 2 | 0 |
| #746 | library/core/src/slice/index.rs:272 | unreached | 10 | 0 |
| #747 | lib.rs:156 | partial | 2 | 1 |
| #748 | lib.rs:153 | no_witness | 2 | 2 |
| #749 | library/core/src/iter/range.rs:900 | partial | 2 | 1 |
| #750 | library/core/src/num/uint_macros.rs:3178 | partial | 2 | 1 |
| #751 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #752 | library/alloc/src/raw_vec/mod.rs:460 | no_witness | 3 | 3 |
| #753 | lib.rs:312 | no_witness | 2 | 2 |
| #754 | library/alloc/src/raw_vec/mod.rs:874 | no_witness | 2 | 2 |
| #755 | library/alloc/src/slice.rs:452 | no_witness | 2 | 2 |
| #756 | lib.rs:73 | no_witness | 4 | 3 |
| #757 | lib.rs:64 | partial | 4 | 2 |
| #758 | lib.rs:458 | no_witness | 2 | 2 |
| #759 | library/alloc/src/raw_vec/mod.rs:460 | no_witness | 2 | 2 |
| #760 | lib.rs:232 | full_mcdc | 2 | 0 |
| #761 | library/core/src/slice/index.rs:272 | no_witness | 6 | 6 |
| #762 | lib.rs:110 | no_witness | 4 | 1 |
| #763 | lib.rs:248 | unreached | 2 | 0 |
| #764 | lib.rs:85 | unreached | 2 | 0 |
| #765 | library/alloc/src/alloc.rs:128 | no_witness | 2 | 2 |
| #766 | library/alloc/src/raw_vec/mod.rs:634 | no_witness | 2 | 1 |
| #767 | library/alloc/src/raw_vec/mod.rs:435 | unreached | 2 | 0 |
| #768 | library/core/src/iter/adapters/zip.rs:304 | full_mcdc | 2 | 0 |
| #769 | library/core/src/iter/range.rs:900 | unreached | 6 | 0 |
| #770 | library/core/src/ptr/mod.rs:1933 | no_witness | 8 | 2 |
| #771 | library/core/src/ptr/mut_ptr.rs:961 | partial | 4 | 0 |
| #772 | library/core/src/slice/index.rs:272 | unreached | 4 | 0 |
| #773 | library/alloc/src/raw_vec/mod.rs:469 | partial | 2 | 1 |
| #774 | library/alloc/src/raw_vec/mod.rs:634 | no_witness | 2 | 2 |
| #775 | library/alloc/src/raw_vec/mod.rs:435 | partial | 3 | 2 |
| #776 | library/core/src/iter/range.rs:900 | no_witness | 2 | 1 |
| #777 | library/core/src/ptr/mut_ptr.rs:961 | no_witness | 2 | 2 |
| #778 | library/alloc/src/vec/mod.rs:3666 | partial | 2 | 1 |
| #779 | library/core/src/iter/adapters/zip.rs:304 | partial | 2 | 1 |
| #780 | library/core/src/iter/range.rs:900 | no_witness | 2 | 2 |
| #781 | lib.rs:592 | no_witness | 4 | 4 |
| #782 | library/alloc/src/raw_vec/mod.rs:614 | partial | 2 | 1 |
| #783 | library/core/src/iter/range.rs:900 | partial | 3 | 1 |
| #784 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #785 | lib.rs:544 | no_witness | 2 | 2 |
| #786 | lib.rs:567 | no_witness | 2 | 1 |
| #787 | library/alloc/src/raw_vec/mod.rs:874 | no_witness | 2 | 1 |
| #788 | library/alloc/src/vec/mod.rs:1041 | no_witness | 2 | 1 |
| #789 | library/core/src/slice/index.rs:272 | no_witness | 4 | 2 |
| #790 | binary_reader.rs:74 | no_witness | 3 | 3 |
| #791 | library/alloc/src/boxed.rs:289 | no_witness | 2 | 2 |
| #792 | library/core/src/num/uint_macros.rs:1050 | no_witness | 4 | 4 |
| #793 | library/core/src/slice/index.rs:443 | partial | 3 | 2 |
| #794 | binary_reader.rs:93 | unreached | 2 | 0 |
| #795 | library/core/src/num/uint_macros.rs:1050 | unreached | 2 | 0 |
| #796 | binary_reader.rs:369 | unreached | 2 | 0 |
| #797 | library/core/src/num/uint_macros.rs:1050 | unreached | 3 | 0 |
| #798 | binary_reader.rs:369 | unreached | 2 | 0 |
| #799 | library/core/src/num/uint_macros.rs:1050 | unreached | 3 | 0 |
| #800 | binary_reader.rs:369 | no_witness | 2 | 2 |
| #801 | library/core/src/num/uint_macros.rs:1050 | no_witness | 3 | 3 |
| #802 | binary_reader.rs:421 | unreached | 3 | 0 |
| #803 | binary_reader.rs:517 | no_witness | 4 | 4 |
| #804 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #805 | imports.rs:110 | no_witness | 3 | 3 |
| #806 | binary_reader.rs:420 | no_witness | 4 | 4 |
| #807 | binary_reader.rs:93 | no_witness | 2 | 2 |
| #808 | binary_reader.rs:536 | no_witness | 5 | 5 |
| #809 | binary_reader.rs:93 | unreached | 3 | 0 |
| #810 | binary_reader.rs:444 | unreached | 2 | 0 |
| #811 | binary_reader.rs:285 | no_witness | 2 | 2 |
| #812 | library/core/src/result.rs:2174 | no_witness | 2 | 2 |
| #813 | binary_reader.rs:443 | no_witness | 5 | 5 |
| #814 | binary_reader.rs:285 | no_witness | 3 | 3 |
| #815 | imports.rs:181 | no_witness | 3 | 3 |
| #816 | binary_reader.rs:93 | no_witness | 3 | 3 |
| #817 | binary_reader.rs:517 | unreached | 2 | 0 |
| #818 | binary_reader.rs:443 | unreached | 3 | 0 |
| #819 | binary_reader.rs:444 | unreached | 2 | 0 |
| #820 | elements.rs:125 | unreached | 4 | 0 |
| #821 | library/core/src/num/uint_macros.rs:1050 | unreached | 2 | 0 |
| #822 | library/core/src/slice/index.rs:443 | unreached | 2 | 0 |
| #823 | binary_reader.rs:449 | unreached | 2 | 0 |
| #824 | operators.rs:406 | unreached | 2 | 0 |
| #825 | binary_reader.rs:915 | no_witness | 15 | 11 |
| #826 | library/alloc/src/vec/mod.rs:2844 | no_witness | 2 | 2 |
| #827 | binary_reader.rs:998 | no_witness | 3 | 3 |
| #828 | binary_reader.rs:1012 | no_witness | 4 | 4 |
| #829 | binary_reader.rs:1022 | unreached | 6 | 0 |
| #830 | binary_reader.rs:1151 | no_witness | 4 | 1 |
| #831 | binary_reader.rs:1162 | unreached | 4 | 0 |
| #832 | binary_reader.rs:1175 | unreached | 3 | 0 |
| #833 | binary_reader.rs:1193 | unreached | 5 | 0 |
| #834 | binary_reader.rs:919 | unreached | 5 | 0 |
| #835 | binary_reader.rs:995 | unreached | 3 | 0 |
| #836 | binary_reader.rs:1006 | unreached | 6 | 0 |
| #837 | binary_reader.rs:1017 | no_witness | 7 | 3 |
| #838 | binary_reader.rs:1029 | unreached | 4 | 0 |
| #839 | binary_reader.rs:1175 | no_witness | 7 | 1 |
| #840 | binary_reader.rs:1186 | no_witness | 4 | 2 |
| #841 | binary_reader.rs:1191 | unreached | 3 | 0 |
| #842 | binary_reader.rs:2055 | unreached | 2 | 0 |
| #843 | binary_reader.rs:444 | unreached | 2 | 0 |
| #844 | binary_reader.rs:444 | unreached | 2 | 0 |
| #845 | lib.rs:1301 | unreached | 2 | 0 |
| #846 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #847 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #848 | library/core/src/result.rs:2173 | unreached | 8 | 0 |
| #849 | library/core/src/result.rs:2173 | no_witness | 11 | 4 |
| #850 | library/core/src/result.rs:2189 | no_witness | 22 | 1 |
| #851 | operators.rs:978 | no_witness | 17 | 4 |
| #852 | binary_reader.rs:93 | unreached | 2 | 0 |
| #853 | binary_reader.rs:1216 | unreached | 2 | 0 |
| #854 | binary_reader.rs:1219 | no_witness | 2 | 2 |
| #855 | library/core/src/result.rs:2174 | no_witness | 2 | 2 |
| #856 | library/core/src/result.rs:2173 | no_witness | 4 | 2 |
| #857 | binary_reader.rs:1237 | no_witness | 6 | 4 |
| #858 | binary_reader.rs:1251 | no_witness | 5 | 1 |
| #859 | binary_reader.rs:1265 | no_witness | 4 | 1 |
| #860 | binary_reader.rs:1287 | unreached | 3 | 0 |
| #861 | binary_reader.rs:1320 | unreached | 3 | 0 |
| #862 | binary_reader.rs:1335 | unreached | 4 | 0 |
| #863 | binary_reader.rs:1348 | unreached | 3 | 0 |
| #864 | binary_reader.rs:1364 | unreached | 4 | 0 |
| #865 | binary_reader.rs:1377 | unreached | 4 | 0 |
| #866 | binary_reader.rs:1390 | unreached | 3 | 0 |
| #867 | binary_reader.rs:1410 | unreached | 2 | 0 |
| #868 | binary_reader.rs:1433 | unreached | 4 | 0 |
| #869 | binary_reader.rs:444 | unreached | 2 | 0 |
| #870 | binary_reader.rs:444 | unreached | 2 | 0 |
| #871 | lib.rs:1301 | unreached | 8 | 0 |
| #872 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #873 | library/core/src/result.rs:2173 | unreached | 5 | 0 |
| #874 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #875 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #876 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #877 | library/core/src/result.rs:2189 | unreached | 10 | 0 |
| #878 | library/core/src/slice/index.rs:219 | unreached | 4 | 0 |
| #879 | operators.rs:978 | unreached | 2 | 0 |
| #880 | binary_reader.rs:1446 | unreached | 2 | 0 |
| #881 | binary_reader.rs:443 | unreached | 2 | 0 |
| #882 | binary_reader.rs:1831 | unreached | 18 | 0 |
| #883 | binary_reader.rs:1842 | unreached | 10 | 0 |
| #884 | lib.rs:1301 | unreached | 2 | 0 |
| #885 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #886 | library/core/src/result.rs:2173 | unreached | 11 | 0 |
| #887 | binary_reader.rs:1852 | unreached | 9 | 0 |
| #888 | binary_reader.rs:1863 | unreached | 11 | 0 |
| #889 | binary_reader.rs:1874 | unreached | 11 | 0 |
| #890 | binary_reader.rs:1885 | unreached | 30 | 0 |
| #891 | binary_reader.rs:1896 | unreached | 20 | 0 |
| #892 | binary_reader.rs:1907 | unreached | 11 | 0 |
| #893 | binary_reader.rs:1919 | unreached | 11 | 0 |
| #894 | binary_reader.rs:1930 | unreached | 6 | 0 |
| #895 | binary_reader.rs:1942 | unreached | 7 | 0 |
| #896 | binary_reader.rs:1952 | unreached | 11 | 0 |
| #897 | binary_reader.rs:1967 | unreached | 7 | 0 |
| #898 | binary_reader.rs:1978 | unreached | 7 | 0 |
| #899 | binary_reader.rs:1990 | unreached | 21 | 0 |
| #900 | binary_reader.rs:2003 | unreached | 2 | 0 |
| #901 | library/core/src/result.rs:2173 | unreached | 65 | 0 |
| #902 | library/core/src/result.rs:2189 | unreached | 4 | 0 |
| #903 | library/core/src/result.rs:2189 | unreached | 46 | 0 |
| #904 | binary_reader.rs:93 | unreached | 2 | 0 |
| #905 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 2 |
| #906 | binary_reader.rs:632 | unreached | 2 | 0 |
| #907 | binary_reader.rs:94 | unreached | 2 | 0 |
| #908 | binary_reader.rs:651 | unreached | 2 | 0 |
| #909 | binary_reader.rs:640 | unreached | 2 | 0 |
| #910 | binary_reader.rs:389 | no_witness | 2 | 2 |
| #911 | binary_reader.rs:403 | unreached | 2 | 0 |
| #912 | operators.rs:948 | unreached | 2 | 0 |
| #913 | types.rs:1271 | no_witness | 3 | 2 |
| #914 | types.rs:1282 | unreached | 3 | 0 |
| #915 | binary_reader.rs:93 | unreached | 2 | 0 |
| #916 | binary_reader.rs:447 | unreached | 2 | 0 |
| #917 | library/alloc/src/vec/mod.rs:4022 | unreached | 2 | 0 |
| #918 | library/alloc/src/alloc.rs:128 | unreached | 2 | 0 |
| #919 | library/alloc/src/vec/mod.rs:4030 | unreached | 3 | 0 |
| #920 | binary_reader.rs:842 | unreached | 2 | 0 |
| #921 | binary_reader.rs:443 | no_witness | 2 | 1 |
| #922 | binary_reader.rs:447 | partial | 2 | 1 |
| #923 | binary_reader.rs:420 | unreached | 2 | 0 |
| #924 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #925 | library/core/src/slice/index.rs:219 | no_witness | 2 | 2 |
| #926 | binary_reader.rs:443 | unreached | 2 | 0 |
| #927 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #928 | binary_reader.rs:860 | unreached | 2 | 0 |
| #929 | library/alloc/src/alloc.rs:128 | unreached | 3 | 0 |
| #930 | library/core/src/iter/adapters/mod.rs:189 | unreached | 3 | 0 |
| #931 | library/core/src/iter/traits/iterator.rs:2493 | unreached | 3 | 0 |
| #932 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #933 | binary_reader.rs:447 | unreached | 2 | 0 |
| #934 | binary_reader.rs:232 | unreached | 2 | 0 |
| #935 | binary_reader.rs:444 | unreached | 2 | 0 |
| #936 | parser.rs:1265 | unreached | 3 | 0 |
| #937 | binary_reader.rs:455 | unreached | 4 | 0 |
| #938 | parser.rs:1245 | unreached | 2 | 0 |
| #939 | binary_reader.rs:444 | unreached | 2 | 0 |
| #940 | binary_reader.rs:457 | unreached | 2 | 0 |
| #941 | binary_reader.rs:93 | unreached | 2 | 0 |
| #942 | parser.rs:1231 | unreached | 3 | 0 |
| #943 | binary_reader.rs:466 | unreached | 2 | 0 |
| #944 | binary_reader.rs:93 | unreached | 2 | 0 |
| #945 | parser.rs:1231 | unreached | 2 | 0 |
| #946 | binary_reader.rs:458 | unreached | 2 | 0 |
| #947 | parser.rs:1231 | unreached | 2 | 0 |
| #948 | binary_reader.rs:458 | no_witness | 2 | 2 |
| #949 | parser.rs:1231 | unreached | 2 | 0 |
| #950 | binary_reader.rs:458 | unreached | 2 | 0 |
| #951 | parser.rs:1231 | unreached | 2 | 0 |
| #952 | binary_reader.rs:458 | no_witness | 2 | 2 |
| #953 | parser.rs:1231 | unreached | 2 | 0 |
| #954 | binary_reader.rs:458 | no_witness | 2 | 2 |
| #955 | parser.rs:1231 | unreached | 2 | 0 |
| #956 | binary_reader.rs:458 | no_witness | 2 | 2 |
| #957 | parser.rs:1231 | unreached | 2 | 0 |
| #958 | binary_reader.rs:458 | no_witness | 2 | 2 |
| #959 | parser.rs:1237 | unreached | 2 | 0 |
| #960 | binary_reader.rs:694 | unreached | 2 | 0 |
| #961 | binary_reader.rs:447 | unreached | 2 | 0 |
| #962 | parser.rs:1293 | unreached | 2 | 0 |
| #963 | library/alloc/src/raw_vec/mod.rs:634 | no_witness | 2 | 1 |
| #964 | library/alloc/src/vec/spec_from_iter_nested.rs:42 | no_witness | 2 | 2 |
| #965 | library/alloc/src/vec/spec_from_iter_nested.rs:42 | unreached | 2 | 0 |
| #966 | library/alloc/src/vec/spec_from_iter_nested.rs:36 | unreached | 3 | 0 |
| #967 | library/core/src/ptr/mod.rs:1933 | no_witness | 2 | 2 |
| #968 | library/alloc/src/alloc.rs:99 | unreached | 2 | 0 |
| #969 | library/alloc/src/vec/spec_from_iter_nested.rs:36 | unreached | 2 | 0 |
| #970 | lib.rs:1301 | unreached | 2 | 0 |
| #971 | parser.rs:1210 | unreached | 3 | 0 |
| #972 | binary_reader.rs:93 | unreached | 2 | 0 |
| #973 | library/core/src/result.rs:2189 | no_witness | 2 | 2 |
| #974 | parser.rs:993 | no_witness | 2 | 2 |
| #975 | parser.rs:723 | no_witness | 2 | 2 |
| #976 | binary_reader.rs:420 | unreached | 3 | 0 |
| #977 | binary_reader.rs:447 | unreached | 2 | 0 |
| #978 | parser.rs:752 | unreached | 2 | 0 |
| #979 | binary_reader.rs:444 | unreached | 2 | 0 |
| #980 | binary_reader.rs:457 | unreached | 3 | 0 |
| #981 | binary_reader.rs:444 | unreached | 5 | 0 |
| #982 | code.rs:68 | unreached | 2 | 0 |
| #983 | lib.rs:1301 | no_witness | 2 | 2 |
| #984 | library/alloc/src/raw_vec/mod.rs:460 | no_witness | 2 | 2 |
| #985 | library/core/src/fmt/builders.rs:788 | no_witness | 3 | 3 |
| #986 | library/core/src/fmt/mod.rs:3123 | no_witness | 2 | 2 |
| #987 | library/core/src/result.rs:2173 | no_witness | 4 | 4 |
| #988 | library/core/src/result.rs:2189 | no_witness | 2 | 2 |
| #989 | library/core/src/result.rs:2189 | no_witness | 4 | 3 |
| #990 | library/core/src/result.rs:2174 | no_witness | 3 | 3 |
| #991 | parser.rs:770 | no_witness | 8 | 7 |
| #992 | parser.rs:795 | no_witness | 2 | 1 |
| #993 | parser.rs:756 | no_witness | 2 | 1 |
| #994 | parser.rs:806 | no_witness | 5 | 2 |
| #995 | parser.rs:822 | no_witness | 3 | 1 |
| #996 | parser.rs:736 | no_witness | 2 | 1 |
| #997 | parser.rs:825 | no_witness | 2 | 2 |
| #998 | parser.rs:402 | no_witness | 3 | 3 |
| #999 | parser.rs:623 | no_witness | 2 | 2 |
| #1000 | parser.rs:659 | unreached | 3 | 0 |
| #1001 | binary_reader.rs:421 | unreached | 2 | 0 |
| #1002 | binary_reader.rs:455 | unreached | 3 | 0 |
| #1003 | binary_reader.rs:424 | no_witness | 3 | 2 |
| #1004 | code.rs:43 | no_witness | 2 | 2 |
| #1005 | code.rs:62 | unreached | 2 | 0 |
| #1006 | binary_reader.rs:94 | no_witness | 2 | 1 |
| #1007 | binary_reader.rs:93 | no_witness | 2 | 2 |
| #1008 | binary_reader.rs:420 | unreached | 2 | 0 |
| #1009 | binary_reader.rs:93 | no_witness | 2 | 1 |
| #1010 | binary_reader.rs:420 | unreached | 3 | 0 |
| #1011 | binary_reader.rs:93 | no_witness | 2 | 2 |
| #1012 | binary_reader.rs:421 | unreached | 3 | 0 |
| #1013 | binary_reader.rs:606 | no_witness | 2 | 1 |
| #1014 | library/core/src/slice/index.rs:219 | no_witness | 3 | 3 |
| #1015 | binary_reader.rs:505 | no_witness | 2 | 2 |
| #1016 | lib.rs:1301 | no_witness | 2 | 2 |
| #1017 | binary_reader.rs:444 | partial | 2 | 1 |
| #1018 | library/core/src/result.rs:2175 | no_witness | 2 | 2 |
| #1019 | binary_reader.rs:420 | unreached | 2 | 0 |
| #1020 | library/core/src/iter/adapters/map.rs:69 | unreached | 2 | 0 |
| #1021 | types.rs:373 | no_witness | 3 | 1 |
| #1022 | types.rs:177 | unreached | 2 | 0 |
| #1023 | types.rs:2115 | unreached | 2 | 0 |
| #1024 | library/core/src/iter/adapters/mod.rs:163 | unreached | 2 | 0 |
| #1025 | binary_reader.rs:847 | unreached | 2 | 0 |
| #1026 | types.rs:2208 | unreached | 2 | 0 |
| #1027 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1028 | binary_reader.rs:444 | no_witness | 2 | 1 |
| #1029 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1030 | binary_reader.rs:444 | unreached | 2 | 0 |
| #1031 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1032 | library/alloc/src/alloc.rs:128 | no_witness | 2 | 1 |
| #1033 | library/core/src/result.rs:2189 | no_witness | 2 | 1 |
| #1034 | names.rs:34 | unreached | 2 | 0 |
| #1035 | tables.rs:42 | unreached | 2 | 0 |
| #1036 | tags.rs:22 | unreached | 2 | 0 |
| #1037 | binary_reader.rs:285 | no_witness | 2 | 1 |
| #1038 | binary_reader.rs:420 | partial | 2 | 1 |
| #1039 | binary_reader.rs:93 | no_witness | 2 | 1 |
| #1040 | binary_reader.rs:486 | partial | 2 | 1 |
| #1041 | library/core/src/result.rs:2189 | no_witness | 2 | 1 |
| #1042 | tables.rs:78 | no_witness | 3 | 3 |
| #1043 | exports.rs:53 | unreached | 2 | 0 |
| #1044 | globals.rs:33 | no_witness | 2 | 2 |
| #1045 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #1046 | binary_reader.rs:93 | no_witness | 3 | 1 |
| #1047 | imports.rs:91 | no_witness | 3 | 2 |
| #1048 | imports.rs:108 | no_witness | 3 | 3 |
| #1049 | imports.rs:131 | no_witness | 2 | 2 |
| #1050 | imports.rs:140 | no_witness | 3 | 3 |
| #1051 | library/core/src/result.rs:2189 | no_witness | 3 | 3 |
| #1052 | imports.rs:146 | no_witness | 4 | 3 |
| #1053 | binary_reader.rs:444 | unreached | 2 | 0 |
| #1054 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1055 | binary_reader.rs:444 | unreached | 2 | 0 |
| #1056 | elements.rs:145 | unreached | 5 | 0 |
| #1057 | library/core/src/result.rs:966 | unreached | 2 | 0 |
| #1058 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #1059 | readers.rs:102 | unreached | 4 | 0 |
| #1060 | types.rs:1813 | unreached | 4 | 0 |
| #1061 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1062 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1063 | binary_reader.rs:420 | no_witness | 2 | 2 |
| #1064 | lib.rs:1301 | unreached | 2 | 0 |
| #1065 | library/core/src/mem/mod.rs:930 | no_witness | 2 | 1 |
| #1066 | library/core/src/ptr/mod.rs:1733 | no_witness | 2 | 2 |
| #1067 | memories.rs:33 | no_witness | 4 | 2 |
| #1068 | types.rs:1282 | no_witness | 3 | 3 |
| #1069 | types.rs:1254 | no_witness | 3 | 3 |
| #1070 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #1071 | binary_reader.rs:93 | unreached | 2 | 0 |
| #1072 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #1073 | readers.rs:102 | no_witness | 4 | 4 |
| #1074 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #1075 | binary_reader.rs:93 | no_witness | 2 | 1 |
| #1076 | names.rs:147 | no_witness | 4 | 2 |
| #1077 | readers.rs:104 | no_witness | 5 | 2 |
| #1078 | binary_reader.rs:447 | no_witness | 2 | 1 |
| #1079 | binary_reader.rs:232 | unreached | 2 | 0 |
| #1080 | library/core/src/fmt/mod.rs:2132 | unreached | 3 | 0 |
| #1081 | library/core/src/fmt/num.rs:86 | unreached | 2 | 0 |
| #1082 | library/core/src/result.rs:2173 | no_witness | 4 | 1 |
| #1083 | library/core/src/result.rs:2189 | unreached | 4 | 0 |
| #1084 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #1085 | library/core/src/slice/index.rs:219 | unreached | 4 | 0 |
| #1086 | names.rs:151 | no_witness | 4 | 1 |
| #1087 | names.rs:158 | unreached | 2 | 0 |
| #1088 | readers.rs:102 | no_witness | 4 | 1 |
| #1089 | types.rs:1656 | no_witness | 3 | 2 |
| #1090 | types.rs:1034 | unreached | 2 | 0 |
| #1091 | types.rs:1046 | unreached | 3 | 0 |
| #1092 | types.rs:867 | unreached | 3 | 0 |
| #1093 | imports.rs:218 | unreached | 2 | 0 |
| #1094 | imports.rs:263 | unreached | 2 | 0 |
| #1095 | imports.rs:275 | unreached | 2 | 0 |
| #1096 | imports.rs:275 | no_witness | 4 | 1 |
| #1097 | imports.rs:294 | unreached | 2 | 0 |
| #1098 | library/core/src/option.rs:2775 | no_witness | 2 | 2 |
| #1099 | readers.rs:237 | no_witness | 4 | 1 |
| #1100 | readers.rs:200 | unreached | 4 | 0 |
| #1101 | readers.rs:197 | partial | 2 | 1 |
| #1102 | binary_reader.rs:420 | unreached | 2 | 0 |
| #1103 | types.rs:1897 | unreached | 2 | 0 |
| #1104 | binary_reader.rs:838 | unreached | 3 | 0 |
| #1105 | library/alloc/src/alloc.rs:128 | unreached | 2 | 0 |
| #1106 | library/core/src/ptr/mod.rs:825 | unreached | 2 | 0 |
| #1107 | types.rs:1704 | unreached | 2 | 0 |
| #1108 | library/core/src/fmt/builders.rs:788 | no_witness | 2 | 1 |
| #1109 | library/core/src/fmt/mod.rs:3122 | no_witness | 3 | 1 |
| #1110 | library/core/src/num/uint_macros.rs:2584 | unreached | 3 | 0 |
| #1111 | library/core/src/result.rs:1718 | unreached | 2 | 0 |
| #1112 | operators.rs:658 | no_witness | 2 | 2 |
| #1113 | soft.rs:210 | unreached | 3 | 0 |
| #1114 | soft.rs:82 | unreached | 4 | 0 |
| #1115 | library/core/src/num/uint_macros.rs:701 | unreached | 2 | 0 |
| #1116 | library/core/src/num/uint_macros.rs:2584 | unreached | 2 | 0 |
| #1117 | library/core/src/num/uint_macros.rs:2584 | unreached | 2 | 0 |
| #1118 | alloc.rs:128 | unreached | 2 | 0 |
| #1119 | mod.rs:825 | unreached | 2 | 0 |
| #1120 | mod.rs:2872 | unreached | 2 | 0 |
| #1121 | alloc.rs:394 | unreached | 4 | 0 |
| #1122 | alloc.rs:457 | unreached | 2 | 0 |
| #1123 | panicking.rs:316 | unreached | 2 | 0 |
| #1124 | rt.rs:44 | unreached | 2 | 0 |
| #1125 | alloc.rs:128 | unreached | 2 | 0 |
| #1126 | mod.rs:2130 | unreached | 2 | 0 |
| #1127 | panic.rs:523 | unreached | 2 | 0 |
| #1128 | mod.rs:631 | no_witness | 2 | 2 |
| #1129 | any.rs:791 | unreached | 2 | 0 |
| #1130 | mod.rs:1979 | no_witness | 2 | 2 |
| #1131 | cursor.rs:143 | no_witness | 2 | 2 |
| #1132 | cursor.rs:335 | unreached | 2 | 0 |
| #1133 | index.rs:569 | unreached | 3 | 0 |
| #1134 | mod.rs:825 | unreached | 2 | 0 |
| #1135 | mod.rs:825 | unreached | 2 | 0 |
| #1136 | index.rs:581 | unreached | 2 | 0 |
| #1137 | mod.rs:2132 | unreached | 2 | 0 |
| #1138 | panicking.rs:669 | unreached | 2 | 0 |
| #1139 | result.rs:2189 | unreached | 2 | 0 |
| #1140 | wasi.rs:11 | unreached | 2 | 0 |
| #1141 | macros.rs:284 | unreached | 3 | 0 |
| #1142 | methods.rs:2179 | unreached | 2 | 0 |
| #1143 | mod.rs:614 | unreached | 2 | 0 |
| #1144 | methods.rs:2261 | unreached | 2 | 0 |
| #1145 | methods.rs:2255 | unreached | 3 | 0 |
| #1146 | methods.rs:2267 | unreached | 3 | 0 |
| #1147 | mod.rs:930 | unreached | 2 | 0 |
| #1148 | panic_info.rs:180 | unreached | 2 | 0 |
| #1149 | panicking.rs:648 | unreached | 2 | 0 |
| #1150 | methods.rs:2261 | unreached | 2 | 0 |
| #1151 | methods.rs:2273 | unreached | 2 | 0 |
| #1152 | mod.rs:183 | unreached | 3 | 0 |
| #1153 | mod.rs:1858 | unreached | 2 | 0 |
| #1154 | wasi.rs:11 | unreached | 2 | 0 |
| #1155 | writev.c:34 | unreached | 3 | 0 |
| #1156 | write.c:16 | unreached | 3 | 0 |
| #1157 | __wasilibc_initialize_environ.c:29 | unreached | 2 | 0 |
| #1158 | __wasilibc_initialize_environ.c:72 | unreached | 2 | 0 |
| #1159 | getenv.c:15 | unreached | 2 | 0 |
| #1160 | stpcpy.c:17 | unreached | 2 | 0 |
| #1161 | strchrnul.c:68 | unreached | 3 | 0 |
| #1162 | stpcpy.c:20 | unreached | 3 | 0 |
| #1163 | strlen.c:62 | unreached | 6 | 0 |
| #1164 | strncmp.c:7 | unreached | 2 | 0 |
| #1165 | malloc.c:5250 | unreached | 4 | 0 |
| #1166 | malloc.c:3921 | unreached | 2 | 0 |
| #1167 | malloc.c:4619 | unreached | 5 | 0 |
| #1168 | malloc.c:4646 | unreached | 3 | 0 |
| #1169 | malloc.c:4646 | unreached | 2 | 0 |
| #1170 | malloc.c:4530 | unreached | 5 | 0 |
| #1171 | malloc.c:4545 | partial | 3 | 1 |
| #1172 | malloc.c:4545 | unreached | 3 | 0 |
| #1173 | malloc.c:4659 | unreached | 2 | 0 |
| #1174 | malloc.c:4458 | unreached | 9 | 0 |
| #1175 | malloc.c:4473 | unreached | 2 | 0 |
| #1176 | malloc.c:4488 | unreached | 2 | 0 |
| #1177 | malloc.c:4498 | unreached | 9 | 0 |
| #1178 | malloc.c:4682 | unreached | 3 | 0 |
| #1179 | malloc.c:4690 | unreached | 2 | 0 |
| #1180 | malloc.c:4048 | unreached | 2 | 0 |
| #1181 | malloc.c:3147 | unreached | 4 | 0 |
| #1182 | malloc.c:3185 | unreached | 2 | 0 |
| #1183 | malloc.c:4063 | unreached | 2 | 0 |
| #1184 | malloc.c:4073 | unreached | 2 | 0 |
| #1185 | malloc.c:2709 | unreached | 3 | 0 |
| #1186 | malloc.c:4113 | unreached | 4 | 0 |
| #1187 | malloc.c:3921 | no_witness | 2 | 2 |
| #1188 | malloc.c:4223 | no_witness | 2 | 2 |
| #1189 | malloc.c:4231 | no_witness | 2 | 2 |
| #1190 | malloc.c:3908 | no_witness | 3 | 3 |
| #1191 | malloc.c:4011 | no_witness | 2 | 2 |
| #1192 | malloc.c:4028 | no_witness | 16 | 16 |
| #1193 | malloc.c:4248 | no_witness | 4 | 4 |
| #1194 | malloc.c:4239 | unreached | 2 | 0 |
| #1195 | malloc.c:4507 | no_witness | 19 | 3 |
| #1196 | malloc.c:4545 | unreached | 17 | 0 |
| #1197 | malloc.c:3946 | unreached | 4 | 0 |
| #1198 | malloc.c:3973 | unreached | 15 | 0 |
| #1199 | malloc.c:4748 | no_witness | 11 | 4 |
| #1200 | malloc.c:4767 | partial | 2 | 1 |
| #1201 | malloc.c:4778 | no_witness | 12 | 10 |
| #1202 | malloc.c:4798 | no_witness | 2 | 2 |
| #1203 | dlmalloc.c:76 | unreached | 4 | 0 |
| #1204 | malloc.c:4803 | unreached | 5 | 0 |
| #1205 | malloc.c:4827 | unreached | 2 | 0 |
| #1206 | malloc.c:3866 | unreached | 2 | 0 |
| #1207 | malloc.c:4853 | unreached | 3 | 0 |
| #1208 | malloc.c:4870 | unreached | 2 | 0 |
| #1209 | malloc.c:4900 | unreached | 2 | 0 |
| #1210 | malloc.c:4900 | no_witness | 13 | 13 |
| #1211 | malloc.c:4384 | partial | 2 | 1 |
| #1212 | malloc.c:4398 | no_witness | 14 | 14 |
| #1213 | malloc.c:4413 | no_witness | 4 | 4 |
| #1214 | malloc.c:4425 | no_witness | 8 | 8 |
| #1215 | malloc.c:4432 | partial | 4 | 2 |
| #1216 | malloc.c:4443 | no_witness | 5 | 5 |
| #1217 | malloc.c:4443 | partial | 8 | 3 |
| #1218 | malloc.c:5352 | partial | 2 | 1 |
| #1219 | malloc.c:4921 | full_mcdc | 3 | 0 |
| #1220 | malloc.c:4954 | no_witness | 4 | 1 |
| #1221 | malloc.c:4967 | unreached | 4 | 0 |
| #1222 | malloc.c:4980 | unreached | 2 | 0 |
| #1223 | mod.rs:528 | unreached | 2 | 0 |
| #1224 | alloc.rs:99 | no_witness | 2 | 1 |
| #1225 | c_str.rs:345 | no_witness | 3 | 1 |
| #1226 | memchr.rs:39 | unreached | 2 | 0 |
| #1227 | methods.rs:2179 | unreached | 2 | 0 |
| #1228 | methods.rs:2261 | unreached | 3 | 0 |
| #1229 | methods.rs:2273 | unreached | 2 | 0 |
| #1230 | mod.rs:800 | unreached | 2 | 0 |
| #1231 | mod.rs:767 | unreached | 2 | 0 |
| #1232 | mod.rs:782 | unreached | 2 | 0 |
| #1233 | mod.rs:2936 | unreached | 2 | 0 |
| #1234 | c_str.rs:290 | unreached | 2 | 0 |
| #1235 | mod.rs:236 | unreached | 2 | 0 |
| #1236 | panicking.rs:421 | unreached | 2 | 0 |
| #1237 | num.rs:135 | unreached | 2 | 0 |
| #1238 | panicking.rs:427 | unreached | 5 | 0 |
| #1239 | index.rs:38 | no_witness | 3 | 3 |
| #1240 | mod.rs:1729 | no_witness | 2 | 2 |
| #1241 | panic.rs:172 | no_witness | 2 | 2 |
| #1242 | methods.rs:474 | unreached | 4 | 0 |
| #1243 | escape.rs:153 | no_witness | 3 | 3 |
| #1244 | escape.rs:146 | unreached | 10 | 0 |
| #1245 | escape.rs:152 | unreached | 2 | 0 |
| #1246 | mod.rs:320 | unreached | 5 | 0 |
| #1247 | validations.rs:241 | full_mcdc | 2 | 0 |
| #1248 | hint.rs:876 | partial | 2 | 1 |
| #1249 | mod.rs:3012 | no_witness | 2 | 2 |
| #1250 | printable.rs:46 | unreached | 5 | 0 |
| #1251 | printable.rs:11 | unreached | 2 | 0 |
| #1252 | clone.rs:615 | unreached | 3 | 0 |
| #1253 | builders.rs:34 | no_witness | 4 | 4 |
| #1254 | builders.rs:244 | unreached | 2 | 0 |
| #1255 | mod.rs:2100 | unreached | 6 | 0 |
| #1256 | mod.rs:2100 | partial | 8 | 1 |
| #1257 | result.rs:2173 | unreached | 2 | 0 |
| #1258 | memchr.rs:40 | unreached | 2 | 0 |
| #1259 | builders.rs:474 | unreached | 2 | 0 |
| #1260 | c_str.rs:358 | unreached | 4 | 0 |
| #1261 | macros.rs:279 | unreached | 4 | 0 |
| #1262 | mod.rs:1771 | unreached | 2 | 0 |
| #1263 | mod.rs:2100 | unreached | 7 | 0 |
| #1264 | mod.rs:1838 | unreached | 2 | 0 |
| #1265 | option.rs:1723 | unreached | 2 | 0 |
| #1266 | result.rs:2173 | unreached | 2 | 0 |
| #1267 | macros.rs:279 | unreached | 3 | 0 |
| #1268 | mod.rs:1863 | unreached | 4 | 0 |
| #1269 | mod.rs:1867 | unreached | 4 | 0 |
| #1270 | mod.rs:1858 | unreached | 3 | 0 |
| #1271 | macros.rs:279 | unreached | 2 | 0 |
| #1272 | macros.rs:180 | unreached | 2 | 0 |
| #1273 | count.rs:117 | unreached | 3 | 0 |
| #1274 | macros.rs:279 | unreached | 5 | 0 |
| #1275 | mod.rs:1849 | unreached | 7 | 0 |
| #1276 | mod.rs:2616 | unreached | 3 | 0 |
| #1277 | mod.rs:2100 | unreached | 4 | 0 |
| #1278 | mod.rs:2100 | unreached | 4 | 0 |
| #1279 | builders.rs:245 | no_witness | 4 | 1 |
| #1280 | mod.rs:2485 | unreached | 2 | 0 |
| #1281 | mod.rs:2504 | unreached | 2 | 0 |
| #1282 | mod.rs:2100 | no_witness | 3 | 1 |
| #1283 | mod.rs:2100 | unreached | 3 | 0 |
| #1284 | mod.rs:1912 | unreached | 2 | 0 |
| #1285 | macros.rs:279 | unreached | 3 | 0 |
| #1286 | mod.rs:1938 | unreached | 2 | 0 |
| #1287 | pattern.rs:1639 | unreached | 5 | 0 |
| #1288 | pattern.rs:1641 | no_witness | 3 | 2 |
| #1289 | macros.rs:284 | unreached | 3 | 0 |
| #1290 | pattern.rs:1398 | unreached | 2 | 0 |
| #1291 | pattern.rs:1449 | unreached | 2 | 0 |
| #1292 | pattern.rs:1689 | unreached | 3 | 0 |
| #1293 | pattern.rs:1102 | unreached | 3 | 0 |
| #1294 | num.rs:198 | unreached | 2 | 0 |
| #1295 | mod.rs:427 | unreached | 2 | 0 |
| #1296 | mod.rs:88 | unreached | 5 | 0 |
| #1297 | num.rs:151 | unreached | 2 | 0 |
| #1298 | validations.rs:50 | unreached | 2 | 0 |
| #1299 | mod.rs:118 | unreached | 4 | 0 |
| #1300 | num.rs:33 | unreached | 6 | 0 |
| #1301 | num.rs:41 | unreached | 3 | 0 |
| #1302 | result.rs:2173 | unreached | 2 | 0 |
| #1303 | traits.rs:241 | unreached | 2 | 0 |
| #1304 | validations.rs:48 | unreached | 3 | 0 |
| #1305 | maybe_uninit.rs:574 | unreached | 3 | 0 |
| #1306 | memchr.rs:91 | unreached | 4 | 0 |
| #1307 | memchr.rs:39 | unreached | 4 | 0 |
| #1308 | num.rs:135 | unreached | 3 | 0 |
| #1309 | num.rs:220 | unreached | 3 | 0 |
| #1310 | num.rs:231 | unreached | 2 | 0 |
| #1311 | num.rs:41 | unreached | 5 | 0 |
| #1312 | num.rs:156 | unreached | 2 | 0 |
| #1313 | num.rs:210 | unreached | 7 | 0 |
| #1314 | panic.rs:172 | unreached | 2 | 0 |
| #1315 | maybe_uninit.rs:574 | unreached | 4 | 0 |
| #1316 | num.rs:198 | unreached | 2 | 0 |
| #1317 | num.rs:41 | unreached | 4 | 0 |
| #1318 | num.rs:41 | unreached | 2 | 0 |
| #1319 | maybe_uninit.rs:574 | unreached | 2 | 0 |
| #1320 | num.rs:42 | unreached | 2 | 0 |
| #1321 | num.rs:33 | unreached | 5 | 0 |
| #1322 | trifecta.rs:18 | unreached | 2 | 0 |
| #1323 | trifecta.rs:314 | unreached | 2 | 0 |
| #1324 | trifecta.rs:344 | no_witness | 2 | 2 |
| #1325 | trifecta.rs:336 | unreached | 2 | 0 |
| #1326 | trifecta.rs:369 | unreached | 2 | 0 |
| #1327 | macros.rs:481 | unreached | 7 | 0 |
| #1328 | macros.rs:481 | unreached | 12 | 0 |
| #1329 | macros.rs:481 | no_witness | 2 | 2 |
| #1330 | macros.rs:481 | unreached | 2 | 0 |
| #1331 | lib.rs:105 | partial | 5 | 0 |
| #1332 | lib.rs:232 | partial | 4 | 0 |
| #1333 | lib.rs:233 | partial | 13 | 0 |
| #1334 | library/alloc/src/collections/btree/node.rs:981 | unreached | 4 | 0 |
| #1335 | library/core/src/ptr/mod.rs:1733 | unreached | 3 | 0 |
| #1336 | library/core/src/ptr/mod.rs:551 | unreached | 3 | 0 |
| #1337 | library/core/src/ptr/mod.rs:1933 | partial | 5 | 0 |
| #1338 | lib.rs:3450 | partial | 4 | 0 |
| #1339 | library/core/src/iter/adapters/enumerate.rs:146 | unreached | 3 | 0 |
| #1340 | library/core/src/iter/adapters/map.rs:129 | full_mcdc | 3 | 0 |
| #1341 | library/core/src/iter/adapters/copied.rs:81 | partial | 3 | 0 |
| #1342 | library/alloc/src/collections/btree/node.rs:731 | partial | 8 | 0 |
| #1343 | library/alloc/src/collections/btree/navigate.rs:634 | partial | 3 | 0 |
| #1344 | library/core/src/slice/sort/stable/drift.rs:269 | partial | 4 | 0 |
| #1345 | lib.rs:4556 | partial | 6 | 0 |
| #1346 | library/alloc/src/vec/set_len_on_drop.rs:14 | partial | 9 | 0 |
| #1347 | library/alloc/src/vec/mod.rs:464 | unreached | 4 | 0 |
| #1348 | lib.rs:2455 | partial | 100 | 0 |
| #1349 | library/core/src/ptr/mod.rs:1733 | partial | 7 | 0 |
| #1350 | library/core/src/cmp.rs:1078 | partial | 3 | 0 |
| #1351 | library/core/src/ptr/mod.rs:1733 | partial | 3 | 0 |
| #1352 | src/lib.rs:89 | partial | 105 | 0 |
| #1353 | src/lib.rs:880 | partial | 3 | 0 |
| #1354 | lib.rs:4366 | partial | 3 | 0 |
| #1355 | lib.rs:4030 | partial | 3 | 0 |
| #1356 | lib.rs:3032 | partial | 5 | 0 |
| #1357 | lib.rs:3281 | partial | 5 | 0 |
| #1358 | lib.rs:3558 | unreached | 3 | 0 |
| #1359 | lib.rs:5057 | partial | 5 | 0 |
| #1360 | lib.rs:6048 | unreached | 3 | 0 |
| #1361 | library/alloc/src/raw_vec/mod.rs:435 | partial | 6 | 0 |
| #1362 | library/core/src/ptr/mod.rs:551 | partial | 3 | 0 |
| #1363 | library/core/src/ptr/mod.rs:1933 | partial | 109 | 0 |
| #1364 | library/core/src/ptr/non_null.rs:656 | partial | 23 | 0 |
| #1365 | library/core/src/result.rs:2173 | partial | 4 | 0 |
| #1366 | library/core/src/result.rs:2175 | partial | 3 | 0 |
| #1367 | library/alloc/src/raw_vec/mod.rs:442 | unreached | 4 | 0 |
| #1368 | library/core/src/ptr/mod.rs:1933 | partial | 4 | 0 |
| #1369 | library/core/src/ptr/non_null.rs:1714 | partial | 4 | 0 |
| #1370 | library/core/src/ptr/mod.rs:1733 | partial | 7 | 0 |
| #1371 | lib.rs:6763 | partial | 233 | 0 |
| #1372 | library/alloc/src/raw_vec/mod.rs:186 | partial | 13 | 0 |
| #1373 | library/alloc/src/raw_vec/mod.rs:614 | partial | 3 | 0 |
| #1374 | library/core/src/ptr/mod.rs:1733 | partial | 134 | 0 |
| #1375 | library/core/src/cmp.rs:1916 | unreached | 4 | 0 |
| #1376 | library/core/src/iter/range.rs:990 | partial | 3 | 0 |
| #1377 | library/alloc/src/raw_vec/mod.rs:619 | partial | 3 | 0 |
| #1378 | library/alloc/src/vec/mod.rs:2221 | full_mcdc | 3 | 0 |
| #1379 | library/core/src/ptr/mod.rs:1933 | partial | 4 | 0 |
| #1380 | lib.rs:4466 | unreached | 3 | 0 |
| #1381 | lib.rs:1388 | unreached | 3 | 0 |
| #1382 | lib.rs:1465 | partial | 16 | 0 |
| #1383 | lib.rs:1468 | unreached | 3 | 0 |
| #1384 | lib.rs:1532 | partial | 3 | 0 |
| #1385 | lib.rs:1567 | unreached | 4 | 0 |
| #1386 | lib.rs:1649 | unreached | 4 | 0 |
| #1387 | lib.rs:1734 | partial | 18 | 0 |
| #1388 | library/core/src/ptr/mod.rs:1733 | partial | 4 | 0 |
| #1389 | library/core/src/result.rs:967 | partial | 4 | 0 |
| #1390 | library/core/src/result.rs:2189 | partial | 4 | 0 |
| #1391 | library/core/src/slice/index.rs:278 | partial | 3 | 0 |
| #1392 | library/core/src/slice/cmp.rs:426 | partial | 3 | 0 |
| #1393 | library/core/src/iter/range.rs:900 | unreached | 4 | 0 |
| #1394 | library/core/src/result.rs:2174 | partial | 4 | 0 |
| #1395 | library/core/src/result.rs:2175 | partial | 4 | 0 |
| #1396 | library/core/src/iter/adapters/map.rs:69 | partial | 5 | 0 |
| #1397 | library/core/src/slice/cmp.rs:131 | partial | 3 | 0 |
| #1398 | src/lib.rs:43 | unreached | 5 | 0 |
| #1399 | src/lib.rs:76 | partial | 5 | 0 |
| #1400 | src/readers/core/operators.rs:333 | unreached | 372 | 0 |
| #1401 | src/readers/core/operators.rs:22 | unreached | 4 | 0 |
| #1402 | lib.rs:302 | unreached | 5 | 0 |
| #1403 | library/core/src/num/f64.rs:1051 | unreached | 4 | 0 |
| #1404 | lib.rs:164 | unreached | 4 | 0 |
| #1405 | library/core/src/slice/index.rs:580 | unreached | 8 | 0 |
| #1406 | operators.rs:581 | unreached | 7 | 0 |
| #1407 | binary_reader.rs:1096 | partial | 256 | 0 |
| #1408 | binary_reader.rs:1256 | partial | 5 | 0 |
| #1409 | lib.rs:1301 | unreached | 40 | 0 |
| #1410 | binary_reader.rs:1464 | unreached | 24 | 0 |
| #1411 | library/core/src/result.rs:2173 | unreached | 116 | 0 |
| #1412 | types.rs:1272 | partial | 6 | 0 |
| #1413 | binary_reader.rs:285 | unreached | 15 | 0 |
| #1414 | library/alloc/src/vec/mod.rs:4022 | unreached | 4 | 0 |
| #1415 | library/core/src/slice/index.rs:219 | unreached | 3 | 0 |
| #1416 | binary_reader.rs:447 | partial | 3 | 0 |
| #1417 | library/core/src/result.rs:594 | unreached | 3 | 0 |
| #1418 | binary_reader.rs:838 | unreached | 3 | 0 |
| #1419 | library/core/src/result.rs:2189 | unreached | 3 | 0 |
| #1420 | binary_reader.rs:426 | unreached | 5 | 0 |
| #1421 | binary_reader.rs:443 | unreached | 3 | 0 |
| #1422 | binary_reader.rs:457 | unreached | 3 | 0 |
| #1423 | parser.rs:1245 | unreached | 3 | 0 |
| #1424 | binary_reader.rs:421 | unreached | 3 | 0 |
| #1425 | library/alloc/src/vec/spec_from_iter_nested.rs:42 | unreached | 4 | 0 |
| #1426 | library/alloc/src/alloc.rs:101 | partial | 4 | 0 |
| #1427 | binary_reader.rs:371 | partial | 3 | 0 |
| #1428 | parser.rs:690 | unreached | 3 | 0 |
| #1429 | parser.rs:701 | unreached | 3 | 0 |
| #1430 | parser.rs:758 | unreached | 3 | 0 |
| #1431 | library/core/src/fmt/mod.rs:3123 | partial | 15 | 0 |
| #1432 | library/core/src/result.rs:2189 | partial | 14 | 0 |
| #1433 | parser.rs:770 | partial | 3 | 0 |
| #1434 | library/core/src/slice/index.rs:219 | partial | 5 | 0 |
| #1435 | binary_reader.rs:488 | partial | 3 | 0 |
| #1436 | exports.rs:54 | unreached | 3 | 0 |
| #1437 | library/core/src/slice/index.rs:219 | partial | 3 | 0 |
| #1438 | binary_reader.rs:94 | partial | 34 | 0 |
| #1439 | library/core/src/result.rs:2191 | unreached | 3 | 0 |
| #1440 | binary_reader.rs:444 | partial | 4 | 0 |
| #1441 | readers.rs:102 | partial | 15 | 0 |
| #1442 | library/core/src/convert/num.rs:82 | partial | 13 | 0 |
| #1443 | code.rs:158 | unreached | 4 | 0 |
| #1444 | types.rs:308 | unreached | 15 | 0 |
| #1445 | imports.rs:221 | unreached | 7 | 0 |
| #1446 | imports.rs:280 | unreached | 3 | 0 |
| #1447 | types.rs:1905 | unreached | 4 | 0 |
| #1448 | types.rs:2144 | unreached | 3 | 0 |
| #1449 | types.rs:2152 | unreached | 6 | 0 |
| #1450 | binary_reader.rs:420 | partial | 15 | 0 |
| #1451 | library/core/src/num/uint_macros.rs:2584 | unreached | 3 | 0 |
| #1452 | soft.rs:92 | unreached | 4 | 0 |
| #1453 | library/core/src/intrinsics/mod.rs:2054 | unreached | 3 | 0 |
| #1454 | cell.rs:555 | unreached | 4 | 0 |
| #1455 | mod.rs:460 | unreached | 4 | 0 |
| #1456 | mod.rs:634 | unreached | 4 | 0 |
| #1457 | wasi.rs:11 | unreached | 5 | 0 |
| #1458 | printable.rs:30 | unreached | 41 | 0 |
| #1459 | builders.rs:158 | unreached | 4 | 0 |
| #1460 | mod.rs:1774 | unreached | 6 | 0 |
| #1461 | mod.rs:2100 | unreached | 15 | 0 |
| #1462 | mod.rs:2100 | unreached | 5 | 0 |
| #1463 | mod.rs:98 | unreached | 5 | 0 |