Verdict scry-mcdc
module: evidence/scry-mcdc.instrumented.wasm — schema: https://pulseengine.eu/witness-mcdc/v3
935
Decisions
13
Full MC/DC
4822
Conditions
278
Proved
1146
Gap
3398
Dead
Decisions
| # | source | status | conditions | gap |
|---|---|---|---|---|
| #0 | lib.rs:233 | no_witness | 2 | 1 |
| #1 | lib.rs:115 | no_witness | 2 | 1 |
| #2 | lib.rs:232 | no_witness | 2 | 2 |
| #3 | lib.rs:87 | no_witness | 2 | 2 |
| #4 | lib.rs:232 | partial | 4 | 1 |
| #5 | lib.rs:232 | no_witness | 4 | 4 |
| #6 | lib.rs:87 | no_witness | 3 | 3 |
| #7 | library/alloc/src/alloc.rs:99 | partial | 3 | 1 |
| #8 | lib.rs:232 | no_witness | 2 | 2 |
| #9 | library/alloc/src/fmt.rs:649 | no_witness | 2 | 2 |
| #10 | lib.rs:2535 | unreached | 3 | 0 |
| #11 | lib.rs:97 | partial | 2 | 1 |
| #12 | library/core/src/iter/adapters/map.rs:128 | no_witness | 4 | 4 |
| #13 | library/core/src/mem/maybe_uninit.rs:574 | partial | 3 | 2 |
| #14 | src/lib.rs:41 | partial | 3 | 1 |
| #15 | library/core/src/iter/sources/from_fn.rs:70 | no_witness | 2 | 2 |
| #16 | src/parser.rs:1105 | unreached | 2 | 0 |
| #17 | src/parser.rs:1118 | unreached | 2 | 0 |
| #18 | library/core/src/iter/traits/iterator.rs:2672 | partial | 4 | 3 |
| #19 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 2 |
| #20 | lib.rs:2353 | no_witness | 4 | 4 |
| #21 | library/alloc/src/vec/spec_from_iter_nested.rs:61 | no_witness | 2 | 1 |
| #22 | library/core/src/iter/traits/iterator.rs:2672 | full_mcdc | 2 | 0 |
| #23 | library/core/src/ptr/mod.rs:1921 | no_witness | 2 | 2 |
| #24 | src/hex.rs:42 | no_witness | 3 | 2 |
| #25 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 2 |
| #26 | library/core/src/slice/index.rs:272 | no_witness | 3 | 3 |
| #27 | library/alloc/src/raw_vec/mod.rs:492 | no_witness | 4 | 4 |
| #28 | lib.rs:2509 | no_witness | 5 | 5 |
| #29 | lib.rs:2521 | partial | 2 | 1 |
| #30 | lib.rs:2211 | no_witness | 3 | 3 |
| #31 | lib.rs:2232 | no_witness | 3 | 3 |
| #32 | lib.rs:2412 | no_witness | 4 | 4 |
| #33 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 2 |
| #34 | library/alloc/src/raw_vec/mod.rs:614 | partial | 2 | 1 |
| #35 | library/alloc/src/raw_vec/mod.rs:492 | partial | 2 | 1 |
| #36 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 1 |
| #37 | library/core/src/ptr/mod.rs:810 | partial | 2 | 1 |
| #38 | library/core/src/ptr/mod.rs:1921 | no_witness | 4 | 4 |
| #39 | library/core/src/ptr/non_null.rs:1717 | partial | 2 | 1 |
| #40 | lib.rs:1975 | partial | 2 | 1 |
| #41 | lib.rs:1924 | partial | 2 | 1 |
| #42 | library/alloc/src/vec/mod.rs:464 | full_mcdc | 2 | 0 |
| #43 | lib.rs:1978 | no_witness | 2 | 2 |
| #44 | lib.rs:1978 | partial | 4 | 3 |
| #45 | library/core/src/slice/iter/macros.rs:180 | no_witness | 4 | 4 |
| #46 | lib.rs:1988 | partial | 3 | 0 |
| #47 | library/alloc/src/vec/mod.rs:2817 | no_witness | 2 | 2 |
| #48 | library/core/src/ptr/mod.rs:1721 | partial | 2 | 1 |
| #49 | lib.rs:2077 | partial | 5 | 3 |
| #50 | lib.rs:1997 | unreached | 2 | 0 |
| #51 | lib.rs:2014 | unreached | 2 | 0 |
| #52 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 6 | 1 |
| #53 | library/alloc/src/raw_vec/mod.rs:492 | no_witness | 2 | 2 |
| #54 | library/alloc/src/vec/mod.rs:2817 | no_witness | 7 | 7 |
| #55 | library/alloc/src/vec/mod.rs:1037 | unreached | 10 | 0 |
| #56 | library/core/src/cmp.rs:1077 | no_witness | 2 | 2 |
| #57 | library/core/src/option.rs:2845 | no_witness | 7 | 7 |
| #58 | library/core/src/option.rs:1165 | unreached | 4 | 0 |
| #59 | library/core/src/ptr/mod.rs:1721 | no_witness | 11 | 11 |
| #60 | library/core/src/ptr/mod.rs:1721 | unreached | 7 | 0 |
| #61 | library/core/src/ptr/mod.rs:1921 | unreached | 11 | 0 |
| #62 | library/core/src/slice/sort/shared/smallsort.rs:566 | no_witness | 2 | 1 |
| #63 | src/lib.rs:941 | no_witness | 2 | 1 |
| #64 | src/lib.rs:88 | no_witness | 2 | 2 |
| #65 | src/lib.rs:480 | no_witness | 2 | 1 |
| #66 | src/lib.rs:727 | no_witness | 3 | 3 |
| #67 | src/lib.rs:773 | no_witness | 2 | 2 |
| #68 | src/lib.rs:777 | no_witness | 2 | 2 |
| #69 | src/lib.rs:811 | unreached | 2 | 0 |
| #70 | src/lib.rs:846 | unreached | 2 | 0 |
| #71 | src/lib.rs:829 | unreached | 5 | 0 |
| #72 | src/lib.rs:286 | no_witness | 2 | 1 |
| #73 | src/lib.rs:678 | no_witness | 2 | 2 |
| #74 | src/lib.rs:297 | unreached | 2 | 0 |
| #75 | src/lib.rs:351 | unreached | 2 | 0 |
| #76 | src/lib.rs:129 | no_witness | 2 | 1 |
| #77 | src/lib.rs:435 | unreached | 3 | 0 |
| #78 | lib.rs:3432 | no_witness | 2 | 2 |
| #79 | lib.rs:2264 | no_witness | 2 | 1 |
| #80 | library/core/src/slice/cmp.rs:442 | no_witness | 6 | 6 |
| #81 | lib.rs:3163 | unreached | 2 | 0 |
| #82 | library/alloc/src/raw_vec/mod.rs:424 | unreached | 3 | 0 |
| #83 | library/core/src/ptr/mod.rs:810 | unreached | 3 | 0 |
| #84 | lib.rs:2620 | no_witness | 21 | 4 |
| #85 | lib.rs:2623 | no_witness | 2 | 2 |
| #86 | lib.rs:2778 | no_witness | 3 | 3 |
| #87 | lib.rs:2909 | unreached | 3 | 0 |
| #88 | library/core/src/iter/adapters/map.rs:69 | no_witness | 2 | 2 |
| #89 | library/core/src/ptr/mod.rs:810 | unreached | 2 | 0 |
| #90 | lib.rs:2639 | no_witness | 2 | 2 |
| #91 | lib.rs:2841 | unreached | 5 | 0 |
| #92 | lib.rs:2396 | unreached | 3 | 0 |
| #93 | lib.rs:2853 | unreached | 6 | 0 |
| #94 | lib.rs:2760 | no_witness | 2 | 2 |
| #95 | lib.rs:3648 | no_witness | 16 | 16 |
| #96 | lib.rs:4357 | no_witness | 2 | 2 |
| #97 | lib.rs:4494 | no_witness | 2 | 2 |
| #98 | lib.rs:4515 | full_mcdc | 2 | 0 |
| #99 | lib.rs:834 | unreached | 2 | 0 |
| #100 | lib.rs:3664 | no_witness | 7 | 6 |
| #101 | lib.rs:834 | unreached | 2 | 0 |
| #102 | lib.rs:3693 | no_witness | 2 | 1 |
| #103 | lib.rs:3771 | no_witness | 2 | 2 |
| #104 | lib.rs:3799 | no_witness | 3 | 3 |
| #105 | lib.rs:3718 | no_witness | 2 | 1 |
| #106 | lib.rs:3684 | unreached | 4 | 0 |
| #107 | lib.rs:3699 | unreached | 5 | 0 |
| #108 | lib.rs:777 | no_witness | 3 | 3 |
| #109 | lib.rs:777 | no_witness | 5 | 2 |
| #110 | lib.rs:2452 | no_witness | 5 | 1 |
| #111 | lib.rs:2884 | no_witness | 3 | 2 |
| #112 | lib.rs:4053 | partial | 2 | 1 |
| #113 | lib.rs:4079 | partial | 8 | 5 |
| #114 | lib.rs:4061 | no_witness | 5 | 4 |
| #115 | lib.rs:777 | no_witness | 7 | 7 |
| #116 | library/alloc/src/raw_vec/mod.rs:435 | no_witness | 2 | 1 |
| #117 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 1 |
| #118 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 3 | 3 |
| #119 | library/alloc/src/raw_vec/mod.rs:434 | partial | 3 | 2 |
| #120 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 2 |
| #121 | library/alloc/src/raw_vec/mod.rs:435 | no_witness | 2 | 2 |
| #122 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 3 | 3 |
| #123 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 3 | 2 |
| #124 | library/alloc/src/vec/mod.rs:3023 | no_witness | 2 | 1 |
| #125 | library/alloc/src/vec/mod.rs:1037 | no_witness | 3 | 3 |
| #126 | library/alloc/src/vec/mod.rs:1840 | no_witness | 2 | 1 |
| #127 | library/alloc/src/vec/mod.rs:1037 | no_witness | 8 | 4 |
| #128 | library/alloc/src/vec/set_len_on_drop.rs:19 | no_witness | 2 | 1 |
| #129 | library/core/src/num/uint_macros.rs:2399 | no_witness | 3 | 2 |
| #130 | library/core/src/option.rs:1367 | no_witness | 4 | 2 |
| #131 | library/core/src/ptr/mod.rs:1921 | no_witness | 5 | 5 |
| #132 | library/core/src/ptr/mod.rs:810 | no_witness | 2 | 1 |
| #133 | library/core/src/ptr/mod.rs:1921 | no_witness | 6 | 5 |
| #134 | library/core/src/ptr/mod.rs:552 | no_witness | 2 | 2 |
| #135 | library/core/src/ptr/mod.rs:1721 | no_witness | 3 | 2 |
| #136 | library/core/src/ptr/mod.rs:1921 | unreached | 3 | 0 |
| #137 | library/core/src/ptr/mod.rs:810 | no_witness | 2 | 2 |
| #138 | library/core/src/ptr/mod.rs:1921 | no_witness | 8 | 7 |
| #139 | library/core/src/ptr/mut_ptr.rs:961 | full_mcdc | 2 | 0 |
| #140 | library/core/src/result.rs:2173 | partial | 3 | 1 |
| #141 | library/core/src/result.rs:2173 | no_witness | 30 | 15 |
| #142 | library/core/src/slice/cmp.rs:443 | unreached | 5 | 0 |
| #143 | library/core/src/slice/iter/macros.rs:284 | no_witness | 2 | 2 |
| #144 | lib.rs:4935 | no_witness | 2 | 2 |
| #145 | lib.rs:4955 | unreached | 2 | 0 |
| #146 | lib.rs:4808 | unreached | 4 | 0 |
| #147 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 1 |
| #148 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 2 |
| #149 | library/core/src/slice/cmp.rs:443 | no_witness | 4 | 2 |
| #150 | library/alloc/src/vec/mod.rs:1041 | unreached | 2 | 0 |
| #151 | library/core/src/ptr/mod.rs:1921 | unreached | 3 | 0 |
| #152 | lib.rs:4755 | no_witness | 2 | 2 |
| #153 | lib.rs:4984 | unreached | 2 | 0 |
| #154 | lib.rs:5014 | unreached | 4 | 0 |
| #155 | lib.rs:5026 | no_witness | 3 | 2 |
| #156 | lib.rs:5084 | partial | 2 | 1 |
| #157 | lib.rs:5105 | no_witness | 5 | 2 |
| #158 | lib.rs:5122 | no_witness | 2 | 2 |
| #159 | lib.rs:5131 | no_witness | 2 | 2 |
| #160 | lib.rs:2126 | no_witness | 2 | 2 |
| #161 | lib.rs:2145 | no_witness | 4 | 4 |
| #162 | library/alloc/src/fmt.rs:659 | unreached | 2 | 0 |
| #163 | library/alloc/src/raw_vec/mod.rs:614 | no_witness | 2 | 1 |
| #164 | library/alloc/src/raw_vec/mod.rs:186 | unreached | 2 | 0 |
| #165 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 2 | 1 |
| #166 | library/alloc/src/vec/mod.rs:1040 | unreached | 2 | 0 |
| #167 | library/core/src/option.rs:1042 | unreached | 2 | 0 |
| #168 | library/core/src/option.rs:1655 | no_witness | 2 | 2 |
| #169 | library/core/src/ptr/mod.rs:1921 | partial | 7 | 3 |
| #170 | library/core/src/slice/iter/macros.rs:180 | no_witness | 2 | 2 |
| #171 | lib.rs:4119 | no_witness | 4 | 4 |
| #172 | library/core/src/ptr/mod.rs:1721 | no_witness | 3 | 2 |
| #173 | lib.rs:4161 | no_witness | 6 | 6 |
| #174 | lib.rs:776 | no_witness | 12 | 12 |
| #175 | library/alloc/src/fmt.rs:659 | no_witness | 3 | 3 |
| #176 | library/alloc/src/vec/mod.rs:1037 | partial | 2 | 1 |
| #177 | library/core/src/ptr/mod.rs:1921 | no_witness | 2 | 2 |
| #178 | lib.rs:3216 | unreached | 3 | 0 |
| #179 | library/core/src/slice/cmp.rs:443 | unreached | 9 | 0 |
| #180 | lib.rs:4588 | no_witness | 3 | 3 |
| #181 | lib.rs:735 | unreached | 2 | 0 |
| #182 | lib.rs:4620 | no_witness | 4 | 3 |
| #183 | lib.rs:705 | unreached | 4 | 0 |
| #184 | lib.rs:4661 | unreached | 2 | 0 |
| #185 | library/alloc/src/fmt.rs:659 | no_witness | 2 | 1 |
| #186 | library/alloc/src/raw_vec/mod.rs:434 | partial | 3 | 0 |
| #187 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 2 | 0 |
| #188 | library/alloc/src/raw_vec/mod.rs:434 | partial | 2 | 0 |
| #189 | library/alloc/src/vec/mod.rs:1037 | no_witness | 5 | 3 |
| #190 | library/alloc/src/vec/mod.rs:2817 | no_witness | 4 | 3 |
| #191 | library/core/src/iter/range.rs:900 | no_witness | 2 | 1 |
| #192 | library/core/src/option.rs:1164 | unreached | 2 | 0 |
| #193 | library/core/src/option.rs:745 | unreached | 2 | 0 |
| #194 | library/core/src/ptr/mod.rs:1921 | unreached | 4 | 0 |
| #195 | library/core/src/ptr/mod.rs:1921 | no_witness | 15 | 4 |
| #196 | library/core/src/slice/iter/macros.rs:284 | no_witness | 5 | 1 |
| #197 | lib.rs:4685 | no_witness | 4 | 4 |
| #198 | lib.rs:3401 | no_witness | 3 | 2 |
| #199 | lib.rs:4216 | no_witness | 2 | 2 |
| #200 | lib.rs:4248 | no_witness | 4 | 2 |
| #201 | library/alloc/src/raw_vec/mod.rs:590 | unreached | 2 | 0 |
| #202 | library/alloc/src/vec/mod.rs:1041 | unreached | 2 | 0 |
| #203 | library/core/src/iter/adapters/zip.rs:306 | no_witness | 2 | 2 |
| #204 | library/core/src/iter/traits/iterator.rs:2495 | no_witness | 2 | 1 |
| #205 | library/core/src/ptr/mod.rs:810 | no_witness | 6 | 6 |
| #206 | library/core/src/slice/cmp.rs:443 | unreached | 7 | 0 |
| #207 | lib.rs:3281 | no_witness | 3 | 3 |
| #208 | library/alloc/src/vec/mod.rs:1041 | no_witness | 2 | 2 |
| #209 | lib.rs:3271 | partial | 2 | 1 |
| #210 | library/alloc/src/vec/mod.rs:1840 | no_witness | 2 | 2 |
| #211 | lib.rs:3295 | no_witness | 5 | 5 |
| #212 | library/alloc/src/raw_vec/mod.rs:614 | unreached | 2 | 0 |
| #213 | library/alloc/src/vec/mod.rs:2709 | no_witness | 12 | 2 |
| #214 | library/core/src/cmp.rs:1877 | unreached | 3 | 0 |
| #215 | library/core/src/slice/sort/unstable/mod.rs:51 | partial | 2 | 0 |
| #216 | library/core/src/slice/sort/shared/mod.rs:36 | no_witness | 4 | 3 |
| #217 | lib.rs:2574 | no_witness | 3 | 1 |
| #218 | lib.rs:97 | partial | 2 | 1 |
| #219 | lib.rs:2574 | partial | 2 | 1 |
| #220 | lib.rs:2949 | partial | 3 | 1 |
| #221 | lib.rs:2967 | no_witness | 3 | 1 |
| #222 | library/alloc/src/raw_vec/mod.rs:434 | full_mcdc | 3 | 0 |
| #223 | library/core/src/iter/adapters/map.rs:69 | no_witness | 2 | 2 |
| #224 | library/core/src/mem/maybe_uninit.rs:574 | no_witness | 4 | 4 |
| #225 | library/core/src/mem/mod.rs:787 | no_witness | 2 | 2 |
| #226 | library/core/src/mem/mod.rs:929 | unreached | 2 | 0 |
| #227 | library/core/src/ptr/mod.rs:552 | no_witness | 2 | 2 |
| #228 | library/core/src/ptr/mod.rs:810 | no_witness | 5 | 4 |
| #229 | library/core/src/ptr/mut_ptr.rs:961 | no_witness | 2 | 2 |
| #230 | library/core/src/slice/sort/shared/smallsort.rs:599 | unreached | 2 | 0 |
| #231 | library/core/src/iter/adapters/map.rs:69 | unreached | 2 | 0 |
| #232 | library/core/src/option.rs:969 | unreached | 4 | 0 |
| #233 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #234 | lib.rs:2979 | partial | 4 | 2 |
| #235 | lib.rs:2979 | no_witness | 3 | 3 |
| #236 | library/alloc/src/vec/mod.rs:1840 | partial | 2 | 1 |
| #237 | lib.rs:97 | unreached | 2 | 0 |
| #238 | lib.rs:3040 | no_witness | 3 | 3 |
| #239 | lib.rs:3054 | no_witness | 4 | 4 |
| #240 | lib.rs:3060 | no_witness | 4 | 2 |
| #241 | lib.rs:3075 | no_witness | 3 | 3 |
| #242 | lib.rs:793 | no_witness | 2 | 2 |
| #243 | lib.rs:847 | no_witness | 2 | 1 |
| #244 | library/alloc/src/raw_vec/mod.rs:424 | no_witness | 3 | 3 |
| #245 | library/alloc/src/raw_vec/mod.rs:442 | no_witness | 2 | 2 |
| #246 | library/alloc/src/vec/mod.rs:977 | no_witness | 2 | 1 |
| #247 | library/alloc/src/vec/mod.rs:1037 | no_witness | 2 | 1 |
| #248 | library/core/src/cmp.rs:1076 | no_witness | 2 | 2 |
| #249 | library/core/src/option.rs:971 | no_witness | 2 | 2 |
| #250 | library/core/src/ptr/mod.rs:1921 | no_witness | 4 | 4 |
| #251 | library/core/src/ptr/mod.rs:810 | unreached | 3 | 0 |
| #252 | library/core/src/ptr/mod.rs:1721 | unreached | 2 | 0 |
| #253 | library/core/src/ptr/mod.rs:810 | no_witness | 6 | 6 |
| #254 | library/core/src/slice/cmp.rs:132 | no_witness | 4 | 2 |
| #255 | library/core/src/slice/iter/macros.rs:284 | no_witness | 2 | 1 |
| #256 | src/lib.rs:43 | no_witness | 2 | 1 |
| #257 | library/core/src/iter/adapters/zip.rs:306 | no_witness | 2 | 1 |
| #258 | library/core/src/num/uint_macros.rs:614 | no_witness | 6 | 4 |
| #259 | library/core/src/ptr/mod.rs:1721 | no_witness | 2 | 2 |
| #260 | library/core/src/slice/mod.rs:4325 | no_witness | 2 | 2 |
| #261 | src/core_api.rs:63 | no_witness | 2 | 1 |
| #262 | lib.rs:1019 | no_witness | 17 | 10 |
| #263 | lib.rs:1303 | partial | 3 | 2 |
| #264 | lib.rs:1317 | no_witness | 8 | 6 |
| #265 | lib.rs:1303 | no_witness | 3 | 3 |
| #266 | lib.rs:1199 | partial | 3 | 2 |
| #267 | lib.rs:4232 | no_witness | 8 | 6 |
| #268 | lib.rs:4264 | no_witness | 4 | 3 |
| #269 | lib.rs:1226 | unreached | 2 | 0 |
| #270 | lib.rs:1088 | no_witness | 8 | 6 |
| #271 | lib.rs:1149 | no_witness | 6 | 6 |
| #272 | lib.rs:1171 | no_witness | 2 | 2 |
| #273 | lib.rs:1079 | no_witness | 5 | 5 |
| #274 | lib.rs:942 | no_witness | 3 | 3 |
| #275 | lib.rs:1067 | unreached | 10 | 0 |
| #276 | lib.rs:1117 | unreached | 9 | 0 |
| #277 | lib.rs:1345 | no_witness | 2 | 2 |
| #278 | lib.rs:1368 | no_witness | 3 | 2 |
| #279 | lib.rs:1422 | no_witness | 6 | 3 |
| #280 | lib.rs:1434 | no_witness | 3 | 3 |
| #281 | lib.rs:1508 | no_witness | 3 | 3 |
| #282 | lib.rs:1657 | no_witness | 6 | 6 |
| #283 | lib.rs:1762 | no_witness | 4 | 4 |
| #284 | lib.rs:1775 | no_witness | 3 | 2 |
| #285 | lib.rs:1871 | no_witness | 11 | 10 |
| #286 | library/alloc/src/fmt.rs:659 | partial | 3 | 1 |
| #287 | library/alloc/src/raw_vec/mod.rs:434 | no_witness | 3 | 2 |
| #288 | library/alloc/src/raw_vec/mod.rs:442 | no_witness | 2 | 2 |
| #289 | library/alloc/src/raw_vec/mod.rs:614 | partial | 7 | 5 |
| #290 | library/alloc/src/raw_vec/mod.rs:186 | no_witness | 3 | 2 |
| #291 | library/alloc/src/vec/mod.rs:464 | no_witness | 3 | 3 |
| #292 | library/alloc/src/vec/mod.rs:1037 | no_witness | 7 | 5 |
| #293 | library/alloc/src/vec/mod.rs:464 | full_mcdc | 2 | 0 |
| #294 | library/alloc/src/vec/mod.rs:4250 | no_witness | 2 | 1 |
| #295 | library/core/src/iter/adapters/flatten.rs:523 | no_witness | 2 | 1 |
| #296 | library/core/src/option.rs:1164 | no_witness | 3 | 3 |
| #297 | library/core/src/ptr/mod.rs:810 | no_witness | 6 | 4 |
| #298 | library/core/src/ptr/mod.rs:810 | no_witness | 2 | 2 |
| #299 | library/core/src/ptr/mod.rs:1921 | no_witness | 2 | 1 |
| #300 | library/core/src/ptr/mod.rs:810 | no_witness | 2 | 1 |
| #301 | library/core/src/ptr/mod.rs:810 | no_witness | 12 | 7 |
| #302 | library/core/src/ptr/non_null.rs:1717 | no_witness | 2 | 2 |
| #303 | library/core/src/result.rs:2173 | no_witness | 3 | 3 |
| #304 | library/core/src/result.rs:968 | partial | 2 | 1 |
| #305 | library/core/src/result.rs:713 | unreached | 2 | 0 |
| #306 | library/core/src/result.rs:966 | no_witness | 7 | 7 |
| #307 | library/core/src/result.rs:2189 | no_witness | 6 | 2 |
| #308 | library/core/src/result.rs:968 | partial | 2 | 0 |
| #309 | library/core/src/result.rs:2174 | no_witness | 2 | 1 |
| #310 | library/core/src/result.rs:967 | no_witness | 3 | 1 |
| #311 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #312 | library/core/src/slice/iter/macros.rs:180 | no_witness | 5 | 3 |
| #313 | src/binary_reader.rs:285 | no_witness | 3 | 1 |
| #314 | src/binary_reader.rs:232 | no_witness | 2 | 2 |
| #315 | src/binary_reader.rs:285 | no_witness | 2 | 2 |
| #316 | src/readers.rs:202 | no_witness | 2 | 2 |
| #317 | src/readers.rs:201 | partial | 2 | 1 |
| #318 | src/readers.rs:214 | no_witness | 2 | 2 |
| #319 | src/readers.rs:200 | no_witness | 3 | 2 |
| #320 | src/readers.rs:213 | partial | 5 | 2 |
| #321 | src/readers/core/imports.rs:198 | no_witness | 2 | 2 |
| #322 | library/alloc/src/raw_vec/mod.rs:434 | unreached | 2 | 0 |
| #323 | library/core/src/slice/iter/macros.rs:284 | unreached | 2 | 0 |
| #324 | library/core/src/ptr/mod.rs:1921 | no_witness | 4 | 4 |
| #325 | library/core/src/slice/iter/macros.rs:284 | no_witness | 3 | 3 |
| #326 | library/core/src/slice/iter/macros.rs:284 | partial | 2 | 1 |
| #327 | library/alloc/src/raw_vec/mod.rs:424 | unreached | 3 | 0 |
| #328 | library/core/src/ptr/mod.rs:810 | partial | 13 | 0 |
| #329 | library/core/src/ptr/mod.rs:810 | no_witness | 4 | 2 |
| #330 | lib.rs:2064 | unreached | 2 | 0 |
| #331 | library/core/src/cmp.rs:1930 | unreached | 2 | 0 |
| #332 | library/core/src/ptr/const_ptr.rs:863 | unreached | 2 | 0 |
| #333 | library/core/src/tuple.rs:196 | unreached | 2 | 0 |
| #334 | library/core/src/ptr/mod.rs:552 | no_witness | 2 | 2 |
| #335 | library/core/src/ptr/mod.rs:643 | no_witness | 2 | 2 |
| #336 | library/core/src/ptr/mod.rs:1721 | no_witness | 2 | 2 |
| #337 | library/core/src/ptr/mod.rs:643 | full_mcdc | 2 | 0 |
| #338 | library/core/src/ptr/mod.rs:643 | unreached | 2 | 0 |
| #339 | library/core/src/ptr/mod.rs:1721 | unreached | 3 | 0 |
| #340 | library/core/src/ptr/mod.rs:643 | unreached | 3 | 0 |
| #341 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #342 | library/core/src/ptr/mod.rs:552 | unreached | 2 | 0 |
| #343 | library/core/src/slice/index.rs:101 | unreached | 2 | 0 |
| #344 | library/core/src/slice/sort/stable/drift.rs:57 | unreached | 3 | 0 |
| #345 | library/core/src/slice/sort/stable/drift.rs:204 | unreached | 2 | 0 |
| #346 | library/core/src/slice/sort/shared/mod.rs:40 | unreached | 3 | 0 |
| #347 | library/core/src/ptr/mod.rs:1438 | unreached | 3 | 0 |
| #348 | library/core/src/slice/sort/shared/mod.rs:36 | unreached | 2 | 0 |
| #349 | library/core/src/slice/sort/stable/drift.rs:255 | unreached | 2 | 0 |
| #350 | library/core/src/cmp.rs:1930 | unreached | 2 | 0 |
| #351 | library/core/src/ptr/mod.rs:552 | unreached | 3 | 0 |
| #352 | library/core/src/iter/range.rs:900 | unreached | 2 | 0 |
| #353 | library/core/src/ptr/mod.rs:552 | unreached | 9 | 0 |
| #354 | library/alloc/src/slice.rs:252 | unreached | 2 | 0 |
| #355 | library/core/src/ptr/mod.rs:552 | unreached | 4 | 0 |
| #356 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 3 | 0 |
| #357 | library/core/src/slice/mod.rs:1989 | unreached | 2 | 0 |
| #358 | library/core/src/slice/sort/stable/merge.rs:48 | unreached | 3 | 0 |
| #359 | library/core/src/slice/sort/stable/merge.rs:89 | unreached | 2 | 0 |
| #360 | library/core/src/slice/sort/stable/merge.rs:130 | unreached | 2 | 0 |
| #361 | library/core/src/slice/sort/unstable/heapsort.rs:53 | unreached | 2 | 0 |
| #362 | library/core/src/slice/sort/unstable/quicksort.rs:312 | unreached | 3 | 0 |
| #363 | library/core/src/slice/sort/unstable/quicksort.rs:325 | unreached | 2 | 0 |
| #364 | library/alloc/src/raw_vec/mod.rs:422 | unreached | 4 | 0 |
| #365 | library/alloc/src/vec/mod.rs:4250 | unreached | 2 | 0 |
| #366 | library/core/src/cmp.rs:1915 | unreached | 3 | 0 |
| #367 | library/core/src/slice/sort/unstable/quicksort.rs:325 | unreached | 4 | 0 |
| #368 | lib.rs:288 | unreached | 3 | 0 |
| #369 | lib.rs:302 | unreached | 2 | 0 |
| #370 | lib.rs:323 | unreached | 4 | 0 |
| #371 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #372 | library/core/src/result.rs:2174 | unreached | 3 | 0 |
| #373 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #374 | lib.rs:333 | unreached | 2 | 0 |
| #375 | library/core/src/ptr/mod.rs:552 | unreached | 2 | 0 |
| #376 | library/core/src/result.rs:2174 | unreached | 3 | 0 |
| #377 | lib.rs:349 | unreached | 4 | 0 |
| #378 | lib.rs:245 | unreached | 2 | 0 |
| #379 | lib.rs:173 | unreached | 2 | 0 |
| #380 | library/alloc/src/alloc.rs:128 | unreached | 2 | 0 |
| #381 | library/core/src/cmp.rs:1915 | unreached | 2 | 0 |
| #382 | library/core/src/fmt/builders.rs:788 | unreached | 3 | 0 |
| #383 | library/core/src/fmt/mod.rs:2872 | unreached | 2 | 0 |
| #384 | library/core/src/slice/iter/macros.rs:348 | unreached | 2 | 0 |
| #385 | lib.rs:191 | unreached | 2 | 0 |
| #386 | library/core/src/fmt/mod.rs:2132 | unreached | 3 | 0 |
| #387 | lib.rs:199 | unreached | 3 | 0 |
| #388 | lib.rs:68 | unreached | 3 | 0 |
| #389 | library/core/src/cmp.rs:1038 | unreached | 2 | 0 |
| #390 | library/core/src/num/int_macros.rs:2027 | no_witness | 2 | 2 |
| #391 | lib.rs:193 | unreached | 3 | 0 |
| #392 | library/core/src/num/int_macros.rs:2026 | unreached | 3 | 0 |
| #393 | library/alloc/src/raw_vec/mod.rs:469 | partial | 2 | 1 |
| #394 | lib.rs:73 | no_witness | 2 | 2 |
| #395 | lib.rs:137 | no_witness | 2 | 2 |
| #396 | lib.rs:388 | full_mcdc | 2 | 0 |
| #397 | lib.rs:391 | no_witness | 2 | 2 |
| #398 | library/core/src/slice/index.rs:278 | partial | 3 | 2 |
| #399 | lib.rs:85 | unreached | 2 | 0 |
| #400 | library/core/src/num/int_macros.rs:2026 | unreached | 2 | 0 |
| #401 | library/core/src/ptr/mod.rs:552 | unreached | 2 | 0 |
| #402 | library/core/src/slice/index.rs:272 | unreached | 7 | 0 |
| #403 | lib.rs:153 | partial | 3 | 2 |
| #404 | lib.rs:433 | partial | 3 | 2 |
| #405 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #406 | lib.rs:310 | no_witness | 2 | 2 |
| #407 | library/core/src/ptr/mod.rs:552 | no_witness | 2 | 2 |
| #408 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #409 | lib.rs:446 | partial | 2 | 1 |
| #410 | lib.rs:451 | no_witness | 2 | 2 |
| #411 | library/alloc/src/alloc.rs:128 | no_witness | 2 | 2 |
| #412 | library/alloc/src/raw_vec/mod.rs:469 | no_witness | 4 | 4 |
| #413 | library/core/src/ptr/mod.rs:552 | no_witness | 3 | 3 |
| #414 | lib.rs:64 | no_witness | 3 | 3 |
| #415 | lib.rs:64 | no_witness | 3 | 3 |
| #416 | lib.rs:446 | full_mcdc | 2 | 0 |
| #417 | library/core/src/slice/index.rs:272 | no_witness | 2 | 2 |
| #418 | lib.rs:85 | no_witness | 3 | 3 |
| #419 | lib.rs:137 | no_witness | 2 | 1 |
| #420 | library/alloc/src/alloc.rs:99 | unreached | 2 | 0 |
| #421 | library/alloc/src/raw_vec/mod.rs:634 | unreached | 2 | 0 |
| #422 | library/alloc/src/raw_vec/mod.rs:460 | unreached | 2 | 0 |
| #423 | library/alloc/src/raw_vec/mod.rs:435 | no_witness | 3 | 2 |
| #424 | library/core/src/iter/range.rs:900 | unreached | 4 | 0 |
| #425 | library/core/src/ptr/mod.rs:1921 | partial | 3 | 0 |
| #426 | library/core/src/ptr/mut_ptr.rs:961 | unreached | 6 | 0 |
| #427 | library/core/src/slice/index.rs:272 | no_witness | 12 | 5 |
| #428 | lib.rs:263 | partial | 2 | 1 |
| #429 | library/alloc/src/alloc.rs:99 | no_witness | 2 | 1 |
| #430 | library/alloc/src/raw_vec/mod.rs:442 | no_witness | 2 | 2 |
| #431 | library/core/src/iter/range.rs:900 | partial | 3 | 1 |
| #432 | library/core/src/ptr/mod.rs:552 | no_witness | 2 | 2 |
| #433 | lib.rs:512 | no_witness | 3 | 3 |
| #434 | lib.rs:356 | no_witness | 2 | 2 |
| #435 | library/alloc/src/raw_vec/mod.rs:477 | partial | 2 | 1 |
| #436 | library/core/src/iter/range.rs:900 | no_witness | 4 | 3 |
| #437 | library/core/src/ptr/mod.rs:1921 | no_witness | 2 | 2 |
| #438 | library/core/src/ptr/mut_ptr.rs:961 | no_witness | 3 | 3 |
| #439 | lib.rs:496 | no_witness | 2 | 2 |
| #440 | lib.rs:485 | no_witness | 2 | 2 |
| #441 | library/alloc/src/raw_vec/mod.rs:634 | no_witness | 2 | 2 |
| #442 | library/alloc/src/raw_vec/mod.rs:460 | no_witness | 2 | 2 |
| #443 | library/core/src/num/int_macros.rs:2026 | no_witness | 4 | 2 |
| #444 | binary_reader.rs:304 | no_witness | 5 | 5 |
| #445 | binary_reader.rs:723 | no_witness | 2 | 2 |
| #446 | library/core/src/iter/adapters/mod.rs:164 | no_witness | 4 | 4 |
| #447 | library/alloc/src/vec/mod.rs:464 | unreached | 3 | 0 |
| #448 | library/alloc/src/vec/spec_from_iter_nested.rs:36 | unreached | 3 | 0 |
| #449 | binary_reader.rs:566 | unreached | 2 | 0 |
| #450 | binary_reader.rs:632 | unreached | 3 | 0 |
| #451 | binary_reader.rs:638 | unreached | 3 | 0 |
| #452 | binary_reader.rs:681 | no_witness | 3 | 3 |
| #453 | types.rs:1896 | unreached | 4 | 0 |
| #454 | imports.rs:179 | no_witness | 2 | 2 |
| #455 | library/core/src/result.rs:2189 | no_witness | 3 | 3 |
| #456 | library/core/src/result.rs:2174 | unreached | 3 | 0 |
| #457 | binary_reader.rs:447 | no_witness | 3 | 3 |
| #458 | imports.rs:180 | no_witness | 2 | 1 |
| #459 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #460 | operators.rs:899 | unreached | 3 | 0 |
| #461 | binary_reader.rs:93 | unreached | 2 | 0 |
| #462 | operators.rs:902 | unreached | 2 | 0 |
| #463 | binary_reader.rs:716 | unreached | 2 | 0 |
| #464 | binary_reader.rs:447 | unreached | 2 | 0 |
| #465 | binary_reader.rs:447 | unreached | 2 | 0 |
| #466 | binary_reader.rs:447 | unreached | 2 | 0 |
| #467 | library/core/src/iter/adapters/mod.rs:203 | unreached | 2 | 0 |
| #468 | types.rs:1782 | no_witness | 4 | 2 |
| #469 | code.rs:158 | unreached | 2 | 0 |
| #470 | lib.rs:1301 | unreached | 2 | 0 |
| #471 | library/alloc/src/raw_vec/mod.rs:776 | unreached | 2 | 0 |
| #472 | imports.rs:269 | unreached | 3 | 0 |
| #473 | library/core/src/option.rs:2778 | unreached | 5 | 0 |
| #474 | readers.rs:237 | unreached | 3 | 0 |
| #475 | imports.rs:281 | no_witness | 3 | 3 |
| #476 | imports.rs:294 | unreached | 2 | 0 |
| #477 | readers.rs:213 | unreached | 2 | 0 |
| #478 | readers.rs:205 | partial | 2 | 1 |
| #479 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #480 | readers.rs:212 | no_witness | 3 | 3 |
| #481 | binary_reader.rs:94 | unreached | 2 | 0 |
| #482 | binary_reader.rs:492 | unreached | 4 | 0 |
| #483 | binary_reader.rs:420 | no_witness | 2 | 2 |
| #484 | binary_reader.rs:558 | no_witness | 2 | 1 |
| #485 | binary_reader.rs:420 | unreached | 2 | 0 |
| #486 | binary_reader.rs:599 | no_witness | 2 | 2 |
| #487 | library/core/src/slice/index.rs:219 | no_witness | 2 | 1 |
| #488 | binary_reader.rs:2055 | no_witness | 2 | 2 |
| #489 | binary_reader.rs:447 | no_witness | 3 | 3 |
| #490 | binary_reader.rs:2062 | no_witness | 3 | 3 |
| #491 | binary_reader.rs:519 | unreached | 3 | 0 |
| #492 | binary_reader.rs:2045 | partial | 2 | 1 |
| #493 | binary_reader.rs:915 | unreached | 11 | 0 |
| #494 | operators.rs:406 | no_witness | 3 | 2 |
| #495 | binary_reader.rs:916 | unreached | 6 | 0 |
| #496 | binary_reader.rs:998 | unreached | 2 | 0 |
| #497 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #498 | binary_reader.rs:1009 | unreached | 4 | 0 |
| #499 | binary_reader.rs:1022 | no_witness | 2 | 2 |
| #500 | binary_reader.rs:1098 | partial | 2 | 0 |
| #501 | binary_reader.rs:1115 | unreached | 3 | 0 |
| #502 | binary_reader.rs:1126 | unreached | 4 | 0 |
| #503 | binary_reader.rs:1137 | unreached | 4 | 0 |
| #504 | binary_reader.rs:1148 | unreached | 5 | 0 |
| #505 | binary_reader.rs:1160 | unreached | 4 | 0 |
| #506 | binary_reader.rs:1193 | unreached | 4 | 0 |
| #507 | binary_reader.rs:981 | unreached | 4 | 0 |
| #508 | binary_reader.rs:1001 | no_witness | 5 | 2 |
| #509 | binary_reader.rs:1012 | no_witness | 8 | 3 |
| #510 | binary_reader.rs:1024 | unreached | 8 | 0 |
| #511 | binary_reader.rs:1036 | unreached | 2 | 0 |
| #512 | binary_reader.rs:1175 | no_witness | 8 | 4 |
| #513 | binary_reader.rs:1186 | unreached | 7 | 0 |
| #514 | library/core/src/result.rs:2173 | no_witness | 5 | 1 |
| #515 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #516 | library/core/src/result.rs:2173 | no_witness | 19 | 3 |
| #517 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #518 | library/core/src/result.rs:2189 | no_witness | 21 | 1 |
| #519 | operators.rs:978 | no_witness | 14 | 1 |
| #520 | types.rs:1850 | unreached | 2 | 0 |
| #521 | library/core/src/result.rs:2174 | unreached | 2 | 0 |
| #522 | operators.rs:978 | unreached | 2 | 0 |
| #523 | binary_reader.rs:1373 | no_witness | 2 | 2 |
| #524 | binary_reader.rs:1223 | unreached | 5 | 0 |
| #525 | binary_reader.rs:1238 | no_witness | 4 | 1 |
| #526 | binary_reader.rs:1251 | unreached | 3 | 0 |
| #527 | library/core/src/result.rs:2174 | no_witness | 2 | 2 |
| #528 | binary_reader.rs:1270 | unreached | 3 | 0 |
| #529 | binary_reader.rs:1301 | unreached | 3 | 0 |
| #530 | binary_reader.rs:1312 | unreached | 2 | 0 |
| #531 | binary_reader.rs:1325 | unreached | 5 | 0 |
| #532 | binary_reader.rs:1343 | unreached | 4 | 0 |
| #533 | binary_reader.rs:1364 | unreached | 4 | 0 |
| #534 | binary_reader.rs:1387 | unreached | 2 | 0 |
| #535 | binary_reader.rs:1399 | unreached | 2 | 0 |
| #536 | binary_reader.rs:1410 | unreached | 2 | 0 |
| #537 | binary_reader.rs:420 | unreached | 2 | 0 |
| #538 | binary_reader.rs:1433 | unreached | 3 | 0 |
| #539 | binary_reader.rs:444 | unreached | 2 | 0 |
| #540 | lib.rs:1301 | unreached | 10 | 0 |
| #541 | library/core/src/option.rs:1367 | unreached | 2 | 0 |
| #542 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #543 | library/core/src/result.rs:2174 | unreached | 2 | 0 |
| #544 | library/core/src/result.rs:2174 | unreached | 2 | 0 |
| #545 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #546 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #547 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #548 | library/core/src/result.rs:2189 | unreached | 11 | 0 |
| #549 | binary_reader.rs:420 | unreached | 2 | 0 |
| #550 | binary_reader.rs:1446 | unreached | 2 | 0 |
| #551 | binary_reader.rs:1459 | unreached | 3 | 0 |
| #552 | binary_reader.rs:1831 | unreached | 19 | 0 |
| #553 | binary_reader.rs:1842 | unreached | 6 | 0 |
| #554 | lib.rs:1301 | unreached | 2 | 0 |
| #555 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #556 | library/core/src/result.rs:2173 | unreached | 6 | 0 |
| #557 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #558 | binary_reader.rs:1848 | unreached | 10 | 0 |
| #559 | binary_reader.rs:1859 | unreached | 22 | 0 |
| #560 | binary_reader.rs:1870 | unreached | 22 | 0 |
| #561 | binary_reader.rs:1881 | unreached | 8 | 0 |
| #562 | binary_reader.rs:1892 | unreached | 33 | 0 |
| #563 | binary_reader.rs:1903 | unreached | 3 | 0 |
| #564 | binary_reader.rs:1906 | unreached | 10 | 0 |
| #565 | binary_reader.rs:1917 | unreached | 11 | 0 |
| #566 | binary_reader.rs:1928 | unreached | 9 | 0 |
| #567 | binary_reader.rs:1941 | unreached | 7 | 0 |
| #568 | binary_reader.rs:1952 | unreached | 8 | 0 |
| #569 | binary_reader.rs:1963 | unreached | 7 | 0 |
| #570 | binary_reader.rs:1976 | unreached | 6 | 0 |
| #571 | binary_reader.rs:1987 | unreached | 18 | 0 |
| #572 | binary_reader.rs:1998 | unreached | 6 | 0 |
| #573 | lib.rs:1301 | unreached | 3 | 0 |
| #574 | library/core/src/result.rs:2173 | unreached | 54 | 0 |
| #575 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #576 | library/core/src/result.rs:2189 | unreached | 41 | 0 |
| #577 | binary_reader.rs:447 | unreached | 2 | 0 |
| #578 | operators.rs:978 | no_witness | 2 | 2 |
| #579 | binary_reader.rs:389 | no_witness | 2 | 2 |
| #580 | types.rs:1276 | unreached | 2 | 0 |
| #581 | types.rs:1278 | unreached | 2 | 0 |
| #582 | types.rs:1284 | unreached | 3 | 0 |
| #583 | binary_reader.rs:93 | unreached | 2 | 0 |
| #584 | binary_reader.rs:93 | unreached | 2 | 0 |
| #585 | library/core/src/num/uint_macros.rs:977 | unreached | 2 | 0 |
| #586 | binary_reader.rs:94 | unreached | 3 | 0 |
| #587 | library/core/src/slice/index.rs:443 | unreached | 3 | 0 |
| #588 | library/core/src/slice/index.rs:443 | unreached | 2 | 0 |
| #589 | binary_reader.rs:517 | no_witness | 2 | 2 |
| #590 | binary_reader.rs:517 | no_witness | 4 | 4 |
| #591 | binary_reader.rs:420 | no_witness | 2 | 2 |
| #592 | binary_reader.rs:420 | unreached | 4 | 0 |
| #593 | elements.rs:125 | unreached | 2 | 0 |
| #594 | library/core/src/mem/mod.rs:929 | unreached | 2 | 0 |
| #595 | operators.rs:463 | unreached | 2 | 0 |
| #596 | library/alloc/src/alloc.rs:128 | no_witness | 2 | 2 |
| #597 | library/core/src/num/uint_macros.rs:977 | no_witness | 2 | 2 |
| #598 | binary_reader.rs:517 | no_witness | 2 | 1 |
| #599 | library/core/src/num/uint_macros.rs:977 | no_witness | 2 | 2 |
| #600 | library/core/src/slice/index.rs:443 | no_witness | 2 | 2 |
| #601 | imports.rs:109 | no_witness | 2 | 2 |
| #602 | binary_reader.rs:521 | no_witness | 3 | 3 |
| #603 | library/core/src/num/uint_macros.rs:977 | no_witness | 2 | 2 |
| #604 | binary_reader.rs:521 | unreached | 3 | 0 |
| #605 | library/core/src/num/uint_macros.rs:977 | unreached | 2 | 0 |
| #606 | binary_reader.rs:517 | partial | 2 | 1 |
| #607 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #608 | binary_reader.rs:291 | no_witness | 3 | 3 |
| #609 | imports.rs:135 | no_witness | 2 | 1 |
| #610 | library/core/src/num/uint_macros.rs:977 | no_witness | 2 | 2 |
| #611 | library/core/src/slice/index.rs:443 | no_witness | 3 | 1 |
| #612 | parser.rs:1249 | no_witness | 4 | 4 |
| #613 | binary_reader.rs:94 | unreached | 2 | 0 |
| #614 | binary_reader.rs:455 | unreached | 2 | 0 |
| #615 | binary_reader.rs:466 | unreached | 3 | 0 |
| #616 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #617 | parser.rs:1272 | no_witness | 4 | 4 |
| #618 | parser.rs:683 | no_witness | 2 | 2 |
| #619 | binary_reader.rs:788 | unreached | 3 | 0 |
| #620 | binary_reader.rs:270 | unreached | 2 | 0 |
| #621 | binary_reader.rs:78 | no_witness | 3 | 3 |
| #622 | parser.rs:693 | no_witness | 3 | 3 |
| #623 | lib.rs:1301 | unreached | 3 | 0 |
| #624 | binary_reader.rs:93 | no_witness | 2 | 2 |
| #625 | library/core/src/slice/index.rs:443 | unreached | 3 | 0 |
| #626 | parser.rs:725 | unreached | 2 | 0 |
| #627 | binary_reader.rs:232 | no_witness | 3 | 2 |
| #628 | binary_reader.rs:270 | no_witness | 2 | 2 |
| #629 | binary_reader.rs:443 | no_witness | 2 | 1 |
| #630 | binary_reader.rs:421 | unreached | 3 | 0 |
| #631 | library/core/src/fmt/builders.rs:787 | no_witness | 4 | 2 |
| #632 | library/core/src/result.rs:2174 | no_witness | 2 | 1 |
| #633 | library/core/src/result.rs:2189 | no_witness | 2 | 1 |
| #634 | library/core/src/result.rs:2189 | no_witness | 3 | 3 |
| #635 | library/core/src/result.rs:966 | no_witness | 2 | 2 |
| #636 | library/core/src/result.rs:2174 | no_witness | 2 | 2 |
| #637 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #638 | parser.rs:753 | no_witness | 6 | 6 |
| #639 | parser.rs:771 | no_witness | 10 | 7 |
| #640 | parser.rs:791 | no_witness | 4 | 4 |
| #641 | parser.rs:756 | no_witness | 2 | 2 |
| #642 | parser.rs:806 | no_witness | 3 | 1 |
| #643 | parser.rs:822 | no_witness | 7 | 5 |
| #644 | parser.rs:1237 | no_witness | 4 | 2 |
| #645 | parser.rs:1231 | no_witness | 3 | 3 |
| #646 | parser.rs:1237 | unreached | 3 | 0 |
| #647 | binary_reader.rs:93 | unreached | 2 | 0 |
| #648 | binary_reader.rs:455 | unreached | 2 | 0 |
| #649 | binary_reader.rs:421 | no_witness | 2 | 2 |
| #650 | binary_reader.rs:424 | unreached | 2 | 0 |
| #651 | binary_reader.rs:421 | unreached | 2 | 0 |
| #652 | binary_reader.rs:424 | unreached | 2 | 0 |
| #653 | binary_reader.rs:421 | no_witness | 2 | 2 |
| #654 | binary_reader.rs:424 | unreached | 2 | 0 |
| #655 | binary_reader.rs:421 | no_witness | 2 | 2 |
| #656 | binary_reader.rs:424 | unreached | 2 | 0 |
| #657 | binary_reader.rs:421 | no_witness | 2 | 2 |
| #658 | binary_reader.rs:424 | unreached | 2 | 0 |
| #659 | parser.rs:1194 | unreached | 3 | 0 |
| #660 | binary_reader.rs:444 | no_witness | 2 | 1 |
| #661 | binary_reader.rs:457 | unreached | 2 | 0 |
| #662 | lib.rs:1301 | no_witness | 2 | 1 |
| #663 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #664 | binary_reader.rs:457 | unreached | 3 | 0 |
| #665 | parser.rs:1245 | no_witness | 2 | 1 |
| #666 | parser.rs:643 | no_witness | 4 | 3 |
| #667 | binary_reader.rs:443 | unreached | 2 | 0 |
| #668 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #669 | readers.rs:104 | unreached | 3 | 0 |
| #670 | binary_reader.rs:424 | unreached | 2 | 0 |
| #671 | binary_reader.rs:93 | unreached | 2 | 0 |
| #672 | binary_reader.rs:466 | unreached | 2 | 0 |
| #673 | binary_reader.rs:420 | unreached | 2 | 0 |
| #674 | binary_reader.rs:424 | unreached | 2 | 0 |
| #675 | code.rs:68 | unreached | 2 | 0 |
| #676 | binary_reader.rs:458 | no_witness | 2 | 1 |
| #677 | binary_reader.rs:420 | no_witness | 3 | 1 |
| #678 | binary_reader.rs:424 | unreached | 2 | 0 |
| #679 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #680 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #681 | binary_reader.rs:420 | no_witness | 2 | 2 |
| #682 | library/alloc/src/boxed.rs:1929 | unreached | 2 | 0 |
| #683 | library/core/src/option.rs:1367 | no_witness | 2 | 1 |
| #684 | library/core/src/result.rs:2189 | no_witness | 2 | 1 |
| #685 | types.rs:2104 | no_witness | 3 | 1 |
| #686 | types.rs:2115 | no_witness | 3 | 3 |
| #687 | types.rs:2241 | unreached | 2 | 0 |
| #688 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #689 | binary_reader.rs:838 | unreached | 3 | 0 |
| #690 | binary_reader.rs:285 | unreached | 2 | 0 |
| #691 | binary_reader.rs:93 | unreached | 2 | 0 |
| #692 | library/alloc/src/alloc.rs:128 | no_witness | 2 | 1 |
| #693 | library/alloc/src/raw_vec/mod.rs:842 | unreached | 2 | 0 |
| #694 | types.rs:706 | unreached | 2 | 0 |
| #695 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #696 | types.rs:1820 | no_witness | 4 | 3 |
| #697 | types.rs:1283 | unreached | 3 | 0 |
| #698 | binary_reader.rs:420 | no_witness | 2 | 2 |
| #699 | binary_reader.rs:484 | no_witness | 2 | 2 |
| #700 | binary_reader.rs:444 | no_witness | 4 | 3 |
| #701 | library/alloc/src/vec/mod.rs:464 | unreached | 2 | 0 |
| #702 | binary_reader.rs:842 | no_witness | 2 | 2 |
| #703 | library/alloc/src/vec/mod.rs:3995 | no_witness | 2 | 1 |
| #704 | library/alloc/src/vec/spec_from_iter_nested.rs:41 | no_witness | 2 | 2 |
| #705 | library/core/src/iter/traits/iterator.rs:2558 | no_witness | 2 | 1 |
| #706 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #707 | binary_reader.rs:447 | no_witness | 4 | 2 |
| #708 | library/alloc/src/vec/spec_from_iter_nested.rs:41 | unreached | 2 | 0 |
| #709 | library/core/src/iter/adapters/mod.rs:198 | unreached | 2 | 0 |
| #710 | binary_reader.rs:838 | unreached | 2 | 0 |
| #711 | binary_reader.rs:842 | unreached | 2 | 0 |
| #712 | library/alloc/src/vec/mod.rs:3995 | unreached | 2 | 0 |
| #713 | library/core/src/iter/traits/iterator.rs:2558 | unreached | 2 | 0 |
| #714 | types.rs:2159 | unreached | 2 | 0 |
| #715 | binary_reader.rs:337 | unreached | 2 | 0 |
| #716 | library/core/src/result.rs:2174 | unreached | 3 | 0 |
| #717 | types.rs:2188 | unreached | 2 | 0 |
| #718 | library/core/src/ptr/mod.rs:810 | no_witness | 2 | 1 |
| #719 | library/alloc/src/raw_vec/mod.rs:564 | no_witness | 2 | 1 |
| #720 | binary_reader.rs:258 | no_witness | 2 | 1 |
| #721 | binary_reader.rs:420 | unreached | 2 | 0 |
| #722 | library/core/src/result.rs:2173 | no_witness | 2 | 2 |
| #723 | binary_reader.rs:93 | no_witness | 3 | 3 |
| #724 | binary_reader.rs:444 | no_witness | 2 | 2 |
| #725 | binary_reader.rs:443 | no_witness | 3 | 3 |
| #726 | readers.rs:102 | no_witness | 2 | 2 |
| #727 | binary_reader.rs:93 | partial | 3 | 2 |
| #728 | binary_reader.rs:420 | no_witness | 2 | 1 |
| #729 | binary_reader.rs:443 | unreached | 2 | 0 |
| #730 | binary_reader.rs:420 | unreached | 2 | 0 |
| #731 | binary_reader.rs:443 | unreached | 2 | 0 |
| #732 | binary_reader.rs:420 | unreached | 2 | 0 |
| #733 | binary_reader.rs:420 | unreached | 2 | 0 |
| #734 | binary_reader.rs:444 | unreached | 2 | 0 |
| #735 | exports.rs:53 | unreached | 2 | 0 |
| #736 | library/core/src/result.rs:2173 | no_witness | 5 | 1 |
| #737 | library/core/src/result.rs:2189 | unreached | 4 | 0 |
| #738 | library/core/src/result.rs:2173 | unreached | 2 | 0 |
| #739 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #740 | library/core/src/slice/index.rs:219 | unreached | 2 | 0 |
| #741 | readers.rs:102 | no_witness | 6 | 2 |
| #742 | tables.rs:56 | unreached | 3 | 0 |
| #743 | binary_reader.rs:838 | no_witness | 2 | 1 |
| #744 | types.rs:2148 | no_witness | 2 | 2 |
| #745 | imports.rs:108 | no_witness | 3 | 2 |
| #746 | imports.rs:131 | unreached | 5 | 0 |
| #747 | imports.rs:143 | unreached | 4 | 0 |
| #748 | library/core/src/num/uint_macros.rs:977 | no_witness | 2 | 2 |
| #749 | library/core/src/result.rs:2173 | no_witness | 4 | 1 |
| #750 | library/core/src/result.rs:2189 | unreached | 2 | 0 |
| #751 | binary_reader.rs:285 | unreached | 3 | 0 |
| #752 | elements.rs:79 | unreached | 2 | 0 |
| #753 | elements.rs:96 | unreached | 2 | 0 |
| #754 | elements.rs:110 | unreached | 3 | 0 |
| #755 | elements.rs:141 | unreached | 3 | 0 |
| #756 | library/core/src/result.rs:2189 | unreached | 4 | 0 |
| #757 | soft.rs:211 | unreached | 2 | 0 |
| #758 | library/core/src/intrinsics/mod.rs:2052 | no_witness | 6 | 4 |
| #759 | library/core/src/num/uint_macros.rs:2511 | no_witness | 6 | 4 |
| #760 | library/core/src/num/uint_macros.rs:2511 | no_witness | 2 | 1 |
| #761 | library/core/src/num/uint_macros.rs:614 | unreached | 2 | 0 |
| #762 | library/core/src/num/uint_macros.rs:614 | unreached | 2 | 0 |
| #763 | library/core/src/num/uint_macros.rs:2511 | no_witness | 3 | 1 |
| #764 | library/core/src/result.rs:1718 | no_witness | 4 | 3 |
| #765 | soft.rs:77 | no_witness | 4 | 1 |
| #766 | panicking.rs:273 | unreached | 5 | 0 |
| #767 | mod.rs:810 | unreached | 2 | 0 |
| #768 | panicking.rs:273 | unreached | 2 | 0 |
| #769 | mod.rs:621 | unreached | 3 | 0 |
| #770 | mod.rs:810 | unreached | 2 | 0 |
| #771 | mod.rs:929 | unreached | 3 | 0 |
| #772 | mod.rs:620 | unreached | 2 | 0 |
| #773 | panicking.rs:240 | unreached | 2 | 0 |
| #774 | alloc.rs:479 | unreached | 2 | 0 |
| #775 | panic.rs:522 | unreached | 3 | 0 |
| #776 | any.rs:764 | no_witness | 2 | 2 |
| #777 | mod.rs:614 | unreached | 2 | 0 |
| #778 | mod.rs:2876 | no_witness | 2 | 2 |
| #779 | mod.rs:620 | unreached | 3 | 0 |
| #780 | any.rs:791 | unreached | 2 | 0 |
| #781 | cursor.rs:445 | unreached | 2 | 0 |
| #782 | mod.rs:810 | unreached | 2 | 0 |
| #783 | mod.rs:2909 | unreached | 2 | 0 |
| #784 | mod.rs:1924 | unreached | 3 | 0 |
| #785 | index.rs:581 | unreached | 3 | 0 |
| #786 | mod.rs:810 | unreached | 2 | 0 |
| #787 | macros.rs:279 | unreached | 3 | 0 |
| #788 | macros.rs:279 | unreached | 4 | 0 |
| #789 | mod.rs:673 | unreached | 2 | 0 |
| #790 | mod.rs:2907 | unreached | 2 | 0 |
| #791 | methods.rs:2124 | unreached | 4 | 0 |
| #792 | option.rs:1809 | unreached | 4 | 0 |
| #793 | panicking.rs:642 | unreached | 3 | 0 |
| #794 | methods.rs:2123 | unreached | 4 | 0 |
| #795 | mod.rs:596 | unreached | 2 | 0 |
| #796 | methods.rs:2114 | unreached | 2 | 0 |
| #797 | methods.rs:2131 | unreached | 3 | 0 |
| #798 | mod.rs:183 | unreached | 2 | 0 |
| #799 | mod.rs:236 | unreached | 2 | 0 |
| #800 | mod.rs:1858 | unreached | 3 | 0 |
| #801 | writev.c:34 | unreached | 2 | 0 |
| #802 | _Exit.c:12 | unreached | 2 | 0 |
| #803 | getenv.c:17 | unreached | 2 | 0 |
| #804 | strchrnul.c:66 | unreached | 6 | 0 |
| #805 | stpcpy.c:16 | unreached | 5 | 0 |
| #806 | stpcpy.c:24 | unreached | 2 | 0 |
| #807 | strncmp.c:6 | unreached | 5 | 0 |
| #808 | malloc.c:5252 | unreached | 3 | 0 |
| #809 | malloc.c:3921 | unreached | 3 | 0 |
| #810 | malloc.c:3903 | unreached | 2 | 0 |
| #811 | malloc.c:4615 | unreached | 7 | 0 |
| #812 | malloc.c:4633 | partial | 3 | 1 |
| #813 | malloc.c:4643 | unreached | 13 | 0 |
| #814 | malloc.c:4531 | unreached | 2 | 0 |
| #815 | malloc.c:4545 | unreached | 3 | 0 |
| #816 | malloc.c:4545 | unreached | 4 | 0 |
| #817 | malloc.c:4458 | unreached | 5 | 0 |
| #818 | malloc.c:4472 | unreached | 2 | 0 |
| #819 | malloc.c:4498 | unreached | 2 | 0 |
| #820 | malloc.c:4502 | unreached | 10 | 0 |
| #821 | malloc.c:4673 | unreached | 5 | 0 |
| #822 | malloc.c:4690 | unreached | 4 | 0 |
| #823 | malloc.c:3152 | no_witness | 2 | 2 |
| #824 | malloc.c:4073 | no_witness | 2 | 2 |
| #825 | malloc.c:4193 | no_witness | 4 | 4 |
| #826 | malloc.c:3921 | no_witness | 2 | 2 |
| #827 | malloc.c:3909 | no_witness | 2 | 2 |
| #828 | malloc.c:4228 | no_witness | 4 | 4 |
| #829 | malloc.c:4009 | no_witness | 5 | 3 |
| #830 | malloc.c:4030 | no_witness | 12 | 3 |
| #831 | malloc.c:4507 | unreached | 32 | 0 |
| #832 | malloc.c:4545 | unreached | 6 | 0 |
| #833 | malloc.c:3959 | unreached | 6 | 0 |
| #834 | malloc.c:3973 | unreached | 12 | 0 |
| #835 | malloc.c:4736 | unreached | 2 | 0 |
| #836 | malloc.c:4748 | unreached | 8 | 0 |
| #837 | malloc.c:4765 | no_witness | 4 | 3 |
| #838 | malloc.c:4778 | no_witness | 6 | 5 |
| #839 | malloc.c:4786 | unreached | 3 | 0 |
| #840 | malloc.c:4798 | unreached | 2 | 0 |
| #841 | malloc.c:4803 | unreached | 11 | 0 |
| #842 | malloc.c:4856 | unreached | 2 | 0 |
| #843 | malloc.c:4870 | no_witness | 5 | 5 |
| #844 | malloc.c:4883 | full_mcdc | 3 | 0 |
| #845 | malloc.c:4897 | no_witness | 18 | 18 |
| #846 | malloc.c:5302 | full_mcdc | 2 | 0 |
| #847 | malloc.c:4387 | no_witness | 2 | 2 |
| #848 | malloc.c:4398 | no_witness | 13 | 13 |
| #849 | malloc.c:4412 | partial | 2 | 1 |
| #850 | malloc.c:4426 | partial | 2 | 1 |
| #851 | malloc.c:4432 | no_witness | 5 | 5 |
| #852 | dlmalloc.c:83 | unreached | 2 | 0 |
| #853 | malloc.c:4432 | partial | 8 | 3 |
| #854 | malloc.c:4443 | partial | 9 | 2 |
| #855 | malloc.c:5356 | unreached | 3 | 0 |
| #856 | malloc.c:4921 | unreached | 3 | 0 |
| #857 | malloc.c:4938 | unreached | 2 | 0 |
| #858 | malloc.c:4952 | unreached | 2 | 0 |
| #859 | malloc.c:4967 | no_witness | 2 | 1 |
| #860 | fmt.rs:650 | unreached | 3 | 0 |
| #861 | malloc.c:4980 | no_witness | 2 | 1 |
| #862 | methods.rs:2137 | unreached | 2 | 0 |
| #863 | mod.rs:565 | unreached | 2 | 0 |
| #864 | mod.rs:782 | unreached | 2 | 0 |
| #865 | mod.rs:460 | unreached | 2 | 0 |
| #866 | result.rs:2173 | unreached | 2 | 0 |
| #867 | c_str.rs:295 | unreached | 2 | 0 |
| #868 | mod.rs:2909 | unreached | 2 | 0 |
| #869 | c_str.rs:290 | unreached | 2 | 0 |
| #870 | memchr.rs:31 | unreached | 5 | 0 |
| #871 | panicking.rs:434 | no_witness | 2 | 2 |
| #872 | panicking.rs:60 | no_witness | 2 | 2 |
| #873 | num.rs:212 | unreached | 2 | 0 |
| #874 | num.rs:231 | unreached | 2 | 0 |
| #875 | mod.rs:1631 | no_witness | 2 | 2 |
| #876 | mod.rs:1661 | partial | 2 | 1 |
| #877 | result.rs:2173 | no_witness | 2 | 2 |
| #878 | rt.rs:152 | full_mcdc | 2 | 0 |
| #879 | mod.rs:1708 | no_witness | 3 | 3 |
| #880 | mod.rs:577 | unreached | 2 | 0 |
| #881 | panic.rs:172 | no_witness | 3 | 3 |
| #882 | panic.rs:172 | unreached | 3 | 0 |
| #883 | validations.rs:145 | unreached | 2 | 0 |
| #884 | validations.rs:224 | unreached | 2 | 0 |
| #885 | validations.rs:279 | unreached | 4 | 0 |
| #886 | validations.rs:157 | unreached | 3 | 0 |
| #887 | memchr.rs:39 | partial | 4 | 3 |
| #888 | builders.rs:33 | no_witness | 2 | 2 |
| #889 | iter.rs:646 | partial | 2 | 1 |
| #890 | memchr.rs:39 | no_witness | 2 | 2 |
| #891 | memchr.rs:39 | partial | 7 | 0 |
| #892 | c_str.rs:357 | unreached | 3 | 0 |
| #893 | accum.rs:55 | unreached | 2 | 0 |
| #894 | builders.rs:864 | no_witness | 2 | 2 |
| #895 | macros.rs:279 | unreached | 6 | 0 |
| #896 | mod.rs:2100 | full_mcdc | 3 | 0 |
| #897 | mod.rs:1826 | unreached | 3 | 0 |
| #898 | mod.rs:1838 | unreached | 3 | 0 |
| #899 | mod.rs:1963 | unreached | 2 | 0 |
| #900 | mod.rs:403 | partial | 2 | 1 |
| #901 | macros.rs:279 | unreached | 5 | 0 |
| #902 | macros.rs:279 | unreached | 3 | 0 |
| #903 | mod.rs:1867 | unreached | 3 | 0 |
| #904 | mod.rs:1858 | unreached | 3 | 0 |
| #905 | count.rs:117 | unreached | 2 | 0 |
| #906 | count.rs:82 | unreached | 3 | 0 |
| #907 | count.rs:127 | unreached | 2 | 0 |
| #908 | count.rs:91 | unreached | 3 | 0 |
| #909 | count.rs:117 | unreached | 3 | 0 |
| #910 | count.rs:108 | unreached | 3 | 0 |
| #911 | macros.rs:180 | unreached | 2 | 0 |
| #912 | macros.rs:279 | unreached | 3 | 0 |
| #913 | mod.rs:1847 | unreached | 4 | 0 |
| #914 | mod.rs:1934 | no_witness | 2 | 1 |
| #915 | mod.rs:1939 | unreached | 2 | 0 |
| #916 | num.rs:213 | unreached | 2 | 0 |
| #917 | option.rs:2251 | unreached | 2 | 0 |
| #918 | num.rs:35 | unreached | 2 | 0 |
| #919 | num.rs:49 | unreached | 2 | 0 |
| #920 | num.rs:220 | unreached | 2 | 0 |
| #921 | result.rs:1866 | unreached | 4 | 0 |
| #922 | builders.rs:45 | no_witness | 5 | 1 |
| #923 | num.rs:49 | unreached | 2 | 0 |
| #924 | num.rs:205 | unreached | 4 | 0 |
| #925 | num.rs:41 | no_witness | 4 | 3 |
| #926 | trifecta.rs:94 | unreached | 2 | 0 |
| #927 | trifecta.rs:209 | unreached | 3 | 0 |
| #928 | uint_macros.rs:2511 | unreached | 2 | 0 |
| #929 | trifecta.rs:336 | unreached | 3 | 0 |
| #930 | uint_macros.rs:2155 | no_witness | 2 | 1 |
| #931 | macros.rs:478 | unreached | 6 | 0 |
| #932 | macros.rs:481 | unreached | 12 | 0 |
| #933 | macros.rs:481 | no_witness | 2 | 2 |
| #934 | macros.rs:481 | unreached | 2 | 0 |
| #935 | lib.rs:232 | partial | 4 | 0 |
| #936 | lib.rs:233 | partial | 14 | 0 |
| #937 | lib.rs:234 | partial | 4 | 0 |
| #938 | library/alloc/src/slice.rs:432 | full_mcdc | 3 | 0 |
| #939 | library/core/src/iter/adapters/map.rs:129 | partial | 4 | 0 |
| #940 | library/core/src/iter/adapters/map.rs:129 | partial | 3 | 0 |
| #941 | library/core/src/slice/index.rs:568 | unreached | 5 | 0 |
| #942 | library/alloc/src/vec/mod.rs:977 | partial | 5 | 0 |
| #943 | library/alloc/src/vec/spec_from_iter_nested.rs:18 | partial | 3 | 0 |
| #944 | library/core/src/option.rs:1164 | partial | 3 | 0 |
| #945 | src/hex.rs:64 | partial | 3 | 0 |
| #946 | library/alloc/src/vec/mod.rs:2821 | partial | 7 | 0 |
| #947 | library/core/src/ptr/mod.rs:1721 | partial | 3 | 0 |
| #948 | src/lib.rs:70 | partial | 3 | 0 |
| #949 | src/lib.rs:303 | partial | 3 | 0 |
| #950 | src/lib.rs:614 | partial | 105 | 0 |
| #951 | library/core/src/ptr/non_null.rs:1717 | partial | 3 | 0 |
| #952 | library/core/src/slice/index.rs:219 | partial | 6 | 0 |
| #953 | lib.rs:3663 | partial | 5 | 0 |
| #954 | lib.rs:3785 | partial | 4 | 0 |
| #955 | lib.rs:4065 | partial | 5 | 0 |
| #956 | library/alloc/src/fmt.rs:659 | partial | 3 | 0 |
| #957 | library/alloc/src/raw_vec/mod.rs:434 | partial | 6 | 0 |
| #958 | library/core/src/ptr/mod.rs:1921 | partial | 84 | 0 |
| #959 | library/core/src/result.rs:2173 | unreached | 3 | 0 |
| #960 | library/core/src/result.rs:2175 | partial | 3 | 0 |
| #961 | library/core/src/slice/iter/macros.rs:180 | partial | 5 | 0 |
| #962 | lib.rs:4935 | partial | 4 | 0 |
| #963 | library/alloc/src/vec/mod.rs:1041 | partial | 7 | 0 |
| #964 | lib.rs:5046 | partial | 233 | 0 |
| #965 | library/core/src/ptr/mod.rs:1921 | partial | 13 | 0 |
| #966 | lib.rs:3456 | partial | 100 | 0 |
| #967 | lib.rs:3213 | unreached | 4 | 0 |
| #968 | library/alloc/src/vec/mod.rs:2821 | full_mcdc | 3 | 0 |
| #969 | library/core/src/slice/cmp.rs:443 | unreached | 3 | 0 |
| #970 | library/core/src/ptr/mod.rs:1721 | partial | 4 | 0 |
| #971 | library/core/src/iter/adapters/map.rs:69 | partial | 5 | 0 |
| #972 | library/alloc/src/raw_vec/mod.rs:434 | partial | 3 | 0 |
| #973 | library/core/src/ptr/mod.rs:810 | partial | 5 | 0 |
| #974 | library/core/src/slice/cmp.rs:132 | unreached | 5 | 0 |
| #975 | library/core/src/slice/mod.rs:4325 | partial | 4 | 0 |
| #976 | src/core_api.rs:63 | partial | 4 | 0 |
| #977 | lib.rs:978 | unreached | 3 | 0 |
| #978 | lib.rs:1025 | partial | 19 | 0 |
| #979 | lib.rs:1247 | partial | 4 | 0 |
| #980 | lib.rs:1317 | unreached | 4 | 0 |
| #981 | library/alloc/src/boxed.rs:1929 | partial | 18 | 0 |
| #982 | library/core/src/iter/range.rs:900 | partial | 3 | 0 |
| #983 | library/core/src/ptr/mod.rs:810 | partial | 7 | 0 |
| #984 | library/core/src/result.rs:2173 | unreached | 4 | 0 |
| #985 | library/core/src/result.rs:2189 | partial | 4 | 0 |
| #986 | src/binary_reader.rs:348 | partial | 4 | 0 |
| #987 | src/readers.rs:213 | partial | 18 | 0 |
| #988 | library/alloc/src/vec/mod.rs:977 | unreached | 4 | 0 |
| #989 | library/core/src/ptr/mod.rs:1921 | partial | 9 | 0 |
| #990 | library/core/src/num/int_macros.rs:1937 | unreached | 8 | 0 |
| #991 | library/core/src/slice/index.rs:219 | partial | 34 | 0 |
| #992 | binary_reader.rs:83 | unreached | 3 | 0 |
| #993 | imports.rs:187 | partial | 15 | 0 |
| #994 | binary_reader.rs:94 | unreached | 7 | 0 |
| #995 | library/core/src/iter/adapters/mod.rs:203 | unreached | 4 | 0 |
| #996 | binary_reader.rs:447 | unreached | 5 | 0 |
| #997 | binary_reader.rs:94 | unreached | 3 | 0 |
| #998 | library/core/src/result.rs:2175 | unreached | 4 | 0 |
| #999 | imports.rs:275 | unreached | 3 | 0 |
| #1000 | readers.rs:61 | partial | 6 | 0 |
| #1001 | binary_reader.rs:94 | unreached | 3 | 0 |
| #1002 | binary_reader.rs:444 | unreached | 6 | 0 |
| #1003 | binary_reader.rs:1013 | unreached | 3 | 0 |
| #1004 | binary_reader.rs:1064 | partial | 256 | 0 |
| #1005 | binary_reader.rs:1233 | partial | 5 | 0 |
| #1006 | binary_reader.rs:1297 | unreached | 40 | 0 |
| #1007 | library/core/src/result.rs:2189 | unreached | 24 | 0 |
| #1008 | binary_reader.rs:1853 | unreached | 116 | 0 |
| #1009 | binary_reader.rs:524 | unreached | 15 | 0 |
| #1010 | library/core/src/num/uint_macros.rs:977 | unreached | 4 | 0 |
| #1011 | lib.rs:1301 | partial | 15 | 0 |
| #1012 | library/core/src/result.rs:2174 | partial | 14 | 0 |
| #1013 | library/core/src/result.rs:2191 | partial | 3 | 0 |
| #1014 | types.rs:382 | partial | 5 | 0 |
| #1015 | library/alloc/src/raw_vec/mod.rs:634 | partial | 3 | 0 |
| #1016 | library/core/src/result.rs:966 | partial | 3 | 0 |
| #1017 | types.rs:1820 | unreached | 3 | 0 |
| #1018 | library/alloc/src/alloc.rs:128 | partial | 15 | 0 |
| #1019 | library/core/src/iter/traits/iterator.rs:2495 | partial | 4 | 0 |
| #1020 | binary_reader.rs:444 | partial | 4 | 0 |
| #1021 | library/alloc/src/alloc.rs:128 | unreached | 3 | 0 |
| #1022 | library/alloc/src/alloc.rs:128 | unreached | 3 | 0 |
| #1023 | library/alloc/src/raw_vec/mod.rs:874 | unreached | 4 | 0 |
| #1024 | binary_reader.rs:94 | unreached | 3 | 0 |
| #1025 | types.rs:2178 | unreached | 3 | 0 |
| #1026 | binary_reader.rs:348 | unreached | 3 | 0 |
| #1027 | library/core/src/result.rs:2173 | partial | 3 | 0 |
| #1028 | binary_reader.rs:420 | partial | 3 | 0 |
| #1029 | library/core/src/cmp.rs:1037 | unreached | 4 | 0 |
| #1030 | binary_reader.rs:420 | unreached | 4 | 0 |
| #1031 | binary_reader.rs:93 | partial | 13 | 0 |
| #1032 | imports.rs:151 | unreached | 4 | 0 |
| #1033 | library/core/src/slice/index.rs:443 | unreached | 3 | 0 |
| #1034 | library/core/src/result.rs:2189 | unreached | 3 | 0 |
| #1035 | library/core/src/num/uint_macros.rs:2511 | unreached | 3 | 0 |
| #1036 | atomic.rs:3920 | unreached | 4 | 0 |
| #1037 | backtrace.rs:57 | unreached | 5 | 0 |
| #1038 | small_c_string.rs:49 | unreached | 5 | 0 |
| #1039 | mod.rs:596 | unreached | 5 | 0 |
| #1040 | accum.rs:55 | unreached | 6 | 0 |
| #1041 | builders.rs:712 | unreached | 4 | 0 |
| #1042 | macros.rs:25 | unreached | 15 | 0 |
| #1043 | mod.rs:2100 | unreached | 5 | 0 |
| #1044 | num.rs:230 | unreached | 5 | 0 |