Verdict `scry-mcdc`

module: evidence/scry-mcdc.instrumented.wasm — schema: https://pulseengine.eu/witness-mcdc/v3

1578

Decisions

Full MC/DC

7538

Conditions

380

Proved

1642

Gap

5516

Dead

Decisions

#	source	status	conditions	gap
#0	`lib.rs:115`	no_witness	2	1
#1	`lib.rs:232`	no_witness	10	9
#2	`lib.rs:233`	full_mcdc	2	0
#3	`lib.rs:232`	partial	2	1
#4	`lib.rs:233`	no_witness	5	4
#5	`lib.rs:87`	no_witness	3	3
#6	`library/alloc/src/boxed.rs:248`	no_witness	2	2
#7	`lib.rs:115`	no_witness	2	2
#8	`lib.rs:2501`	no_witness	2	2
#9	`library/core/src/ptr/mod.rs:549`	no_witness	2	2
#10	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#11	`library/core/src/slice/mod.rs:1992`	unreached	2	0
#12	`library/core/src/slice/mod.rs:1992`	no_witness	2	2
#13	`library/core/src/ptr/mod.rs:1731`	no_witness	2	1
#14	`library/alloc/src/collections/btree/fix.rs:22`	unreached	4	0
#15	`library/alloc/src/collections/btree/fix.rs:44`	unreached	2	0
#16	`library/alloc/src/collections/btree/node.rs:1537`	unreached	2	0
#17	`library/alloc/src/collections/btree/node.rs:1529`	no_witness	2	2
#18	`library/alloc/src/collections/btree/node.rs:558`	no_witness	3	2
#19	`library/alloc/src/collections/btree/node.rs:558`	unreached	2	0
#20	`library/alloc/src/collections/btree/node.rs:1600`	unreached	2	0
#21	`library/core/src/iter/range.rs:900`	no_witness	3	2
#22	`library/core/src/mem/maybe_uninit.rs:575`	unreached	2	0
#23	`library/core/src/ptr/mod.rs:640`	no_witness	4	1
#24	`library/core/src/ptr/mod.rs:1731`	no_witness	2	1
#25	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#26	`library/alloc/src/collections/btree/node.rs:1272`	unreached	2	0
#27	`library/core/src/cmp.rs:1916`	unreached	2	0
#28	`library/alloc/src/collections/btree/node.rs:886`	unreached	2	0
#29	`library/alloc/src/collections/btree/remove.rs:37`	unreached	4	0
#30	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#31	`library/alloc/src/collections/btree/node.rs:558`	unreached	3	0
#32	`library/alloc/src/collections/btree/node.rs:558`	unreached	2	0
#33	`library/core/src/ptr/mod.rs:1731`	unreached	4	0
#34	`library/alloc/src/collections/btree/node.rs:1414`	unreached	2	0
#35	`library/alloc/src/collections/btree/node.rs:1828`	unreached	2	0
#36	`library/core/src/mem/maybe_uninit.rs:575`	unreached	2	0
#37	`library/core/src/ptr/mod.rs:640`	unreached	3	0
#38	`library/alloc/src/collections/btree/node.rs:1262`	no_witness	2	2
#39	`library/alloc/src/collections/btree/node.rs:953`	unreached	2	0
#40	`library/alloc/src/collections/btree/node.rs:981`	unreached	2	0
#41	`library/alloc/src/collections/btree/node.rs:1876`	no_witness	2	1
#42	`library/core/src/ptr/mod.rs:549`	no_witness	2	1
#43	`library/alloc/src/alloc.rs:99`	unreached	2	0
#44	`library/alloc/src/collections/btree/node.rs:641`	unreached	2	0
#45	`library/alloc/src/collections/btree/node.rs:1262`	unreached	2	0
#46	`library/alloc/src/collections/btree/node.rs:1827`	no_witness	2	1
#47	`library/alloc/src/collections/btree/node.rs:558`	no_witness	2	1
#48	`library/alloc/src/collections/btree/node.rs:558`	unreached	2	0
#49	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#50	`library/alloc/src/collections/btree/node.rs:1303`	unreached	3	0
#51	`library/alloc/src/collections/btree/node.rs:558`	unreached	4	0
#52	`library/alloc/src/collections/btree/node.rs:1306`	unreached	2	0
#53	`library/alloc/src/collections/btree/node.rs:1876`	unreached	2	0
#54	`library/alloc/src/collections/btree/node.rs:314`	unreached	2	0
#55	`library/alloc/src/collections/btree/node.rs:1827`	unreached	2	0
#56	`library/core/src/iter/range.rs:900`	unreached	2	0
#57	`library/alloc/src/alloc.rs:99`	unreached	2	0
#58	`library/alloc/src/collections/btree/node.rs:1045`	unreached	2	0
#59	`library/alloc/src/collections/btree/node.rs:1876`	unreached	2	0
#60	`library/alloc/src/collections/btree/node.rs:1069`	unreached	3	0
#61	`library/core/src/option.rs:1336`	unreached	2	0
#62	`library/core/src/option.rs:1014`	unreached	2	0
#63	`library/alloc/src/collections/btree/node.rs:1069`	unreached	3	0
#64	`library/alloc/src/collections/btree/node.rs:870`	unreached	2	0
#65	`library/alloc/src/collections/btree/node.rs:1075`	unreached	2	0
#66	`library/alloc/src/collections/btree/node.rs:870`	unreached	2	0
#67	`library/alloc/src/collections/btree/node.rs:1069`	unreached	2	0
#68	`library/alloc/src/collections/btree/node.rs:1075`	unreached	2	0
#69	`library/alloc/src/collections/btree/search.rs:225`	unreached	2	0
#70	`library/alloc/src/collections/btree/node.rs:731`	unreached	2	0
#71	`library/alloc/src/collections/btree/map/entry.rs:662`	unreached	2	0
#72	`library/alloc/src/collections/btree/node.rs:618`	unreached	3	0
#73	`library/alloc/src/raw_vec/mod.rs:435`	unreached	3	0
#74	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#75	`lib.rs:6527`	unreached	2	0
#76	`library/core/src/iter/adapters/map.rs:124`	unreached	2	0
#77	`library/core/src/option.rs:2278`	no_witness	2	1
#78	`library/core/src/ptr/mod.rs:1939`	unreached	4	0
#79	`lib.rs:6532`	unreached	6	0
#80	`lib.rs:6475`	unreached	2	0
#81	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	4	1
#82	`library/core/src/iter/adapters/map.rs:124`	no_witness	3	1
#83	`lib.rs:4777`	no_witness	4	4
#84	`library/core/src/iter/range.rs:900`	partial	2	1
#85	`lib.rs:5112`	unreached	3	0
#86	`lib.rs:1571`	unreached	6	0
#87	`lib.rs:6689`	full_mcdc	2	0
#88	`library/core/src/ptr/mod.rs:1939`	partial	5	3
#89	`library/core/src/slice/index.rs:238`	partial	3	1
#90	`library/core/src/slice/iter/macros.rs:279`	partial	5	2
#91	`lib.rs:1537`	partial	2	1
#92	`library/alloc/src/collections/btree/node.rs:731`	unreached	2	0
#93	`library/core/src/ptr/mod.rs:1939`	no_witness	2	1
#94	`library/alloc/src/collections/btree/node.rs:731`	no_witness	3	2
#95	`library/alloc/src/vec/into_iter.rs:262`	no_witness	3	3
#96	`library/core/src/ptr/mod.rs:823`	no_witness	7	2
#97	`library/alloc/src/collections/btree/node.rs:731`	no_witness	3	3
#98	`library/core/src/option.rs:1336`	no_witness	2	2
#99	`library/alloc/src/collections/btree/navigate.rs:722`	no_witness	2	2
#100	`library/alloc/src/collections/btree/navigate.rs:390`	no_witness	2	1
#101	`library/alloc/src/collections/btree/node.rs:731`	no_witness	8	5
#102	`library/alloc/src/collections/btree/node.rs:731`	unreached	3	0
#103	`library/core/src/iter/adapters/copied.rs:81`	unreached	3	0
#104	`library/core/src/ptr/mod.rs:823`	no_witness	5	4
#105	`library/core/src/ptr/mod.rs:823`	unreached	2	0
#106	`library/alloc/src/collections/btree/map.rs:1889`	unreached	2	0
#107	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	2	2
#108	`library/core/src/iter/range.rs:900`	no_witness	2	1
#109	`library/core/src/ptr/mod.rs:823`	no_witness	23	10
#110	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#111	`library/core/src/slice/sort/stable/drift.rs:87`	no_witness	3	3
#112	`library/core/src/slice/sort/stable/drift.rs:57`	no_witness	2	1
#113	`library/core/src/slice/sort/stable/drift.rs:87`	no_witness	2	2
#114	`library/core/src/slice/sort/stable/drift.rs:104`	no_witness	2	2
#115	`library/core/src/num/uint_macros.rs:3750`	unreached	2	0
#116	`library/core/src/slice/sort/stable/drift.rs:204`	no_witness	2	1
#117	`library/core/src/slice/sort/stable/drift.rs:57`	unreached	2	0
#118	`library/core/src/slice/sort/stable/drift.rs:204`	unreached	4	0
#119	`library/core/src/slice/sort/stable/drift.rs:57`	unreached	2	0
#120	`library/core/src/slice/sort/stable/drift.rs:204`	unreached	4	0
#121	`library/core/src/slice/sort/stable/drift.rs:57`	unreached	2	0
#122	`library/core/src/slice/sort/stable/drift.rs:269`	unreached	2	0
#123	`library/core/src/cmp.rs:1916`	unreached	2	0
#124	`library/core/src/ptr/const_ptr.rs:872`	unreached	2	0
#125	`library/core/src/slice/sort/unstable/quicksort.rs:50`	unreached	2	0
#126	`library/core/src/slice/sort/shared/pivot.rs:55`	unreached	3	0
#127	`library/core/src/tuple.rs:196`	unreached	3	0
#128	`lib.rs:2908`	unreached	2	0
#129	`lib.rs:3095`	unreached	2	0
#130	`library/core/src/cmp.rs:1916`	unreached	2	0
#131	`library/core/src/cmp.rs:1916`	unreached	2	0
#132	`library/core/src/slice/sort/shared/pivot.rs:65`	unreached	2	0
#133	`lib.rs:4531`	unreached	2	0
#134	`library/core/src/cmp.rs:1916`	unreached	3	0
#135	`library/core/src/slice/sort/shared/pivot.rs:65`	unreached	4	0
#136	`library/alloc/src/slice.rs:252`	unreached	2	0
#137	`library/core/src/slice/sort/shared/pivot.rs:65`	unreached	2	0
#138	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#139	`library/core/src/cmp.rs:1931`	unreached	2	0
#140	`library/core/src/ptr/mod.rs:549`	unreached	5	0
#141	`lib.rs:2387`	unreached	3	0
#142	`library/alloc/src/slice.rs:252`	unreached	2	0
#143	`library/core/src/hint.rs:879`	unreached	3	0
#144	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#145	`lib.rs:4531`	unreached	2	0
#146	`library/alloc/src/slice.rs:252`	unreached	2	0
#147	`library/core/src/cmp.rs:1931`	unreached	2	0
#148	`library/core/src/cmp.rs:1916`	unreached	2	0
#149	`library/core/src/ptr/mod.rs:640`	unreached	2	0
#150	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#151	`library/core/src/cmp.rs:1916`	unreached	2	0
#152	`library/core/src/ptr/mod.rs:1731`	unreached	3	0
#153	`library/core/src/ptr/mod.rs:640`	unreached	2	0
#154	`library/core/src/ptr/mod.rs:640`	unreached	3	0
#155	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#156	`library/alloc/src/slice.rs:252`	unreached	3	0
#157	`library/core/src/ptr/const_ptr.rs:872`	unreached	4	0
#158	`library/core/src/ptr/mod.rs:549`	unreached	4	0
#159	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#160	`library/core/src/slice/sort/shared/smallsort.rs:831`	unreached	2	0
#161	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#162	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#163	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#164	`library/core/src/ptr/mod.rs:549`	unreached	5	0
#165	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#166	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#167	`library/core/src/slice/sort/shared/smallsort.rs:574`	unreached	2	0
#168	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#169	`library/core/src/tuple.rs:196`	unreached	2	0
#170	`library/core/src/hint.rs:879`	unreached	2	0
#171	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#172	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#173	`library/core/src/tuple.rs:196`	unreached	2	0
#174	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#175	`library/core/src/slice/sort/shared/smallsort.rs:541`	unreached	3	0
#176	`library/core/src/tuple.rs:196`	unreached	2	0
#177	`library/core/src/ptr/mod.rs:549`	unreached	5	0
#178	`lib.rs:3247`	no_witness	2	2
#179	`library/core/src/hint.rs:879`	no_witness	2	1
#180	`library/core/src/ptr/mod.rs:549`	no_witness	3	2
#181	`library/core/src/tuple.rs:196`	no_witness	3	2
#182	`lib.rs:3247`	no_witness	2	2
#183	`library/core/src/ptr/mod.rs:549`	partial	2	0
#184	`library/core/src/tuple.rs:196`	no_witness	2	1
#185	`library/core/src/ptr/mod.rs:549`	unreached	5	0
#186	`library/core/src/tuple.rs:196`	unreached	5	0
#187	`library/core/src/cmp.rs:1916`	unreached	2	0
#188	`library/core/src/iter/range.rs:900`	unreached	2	0
#189	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#190	`library/core/src/tuple.rs:196`	unreached	2	0
#191	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#192	`library/core/src/slice/sort/shared/smallsort.rs:252`	unreached	3	0
#193	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#194	`library/core/src/slice/sort/shared/smallsort.rs:255`	unreached	3	0
#195	`library/core/src/tuple.rs:196`	unreached	4	0
#196	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#197	`library/core/src/slice/sort/stable/quicksort.rs:26`	unreached	2	0
#198	`library/core/src/slice/sort/stable/quicksort.rs:140`	unreached	2	0
#199	`library/core/src/iter/range.rs:900`	unreached	3	0
#200	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#201	`library/core/src/ptr/mut_ptr.rs:970`	unreached	3	0
#202	`library/core/src/ptr/mod.rs:549`	unreached	4	0
#203	`library/core/src/slice/sort/shared/mod.rs:35`	unreached	3	0
#204	`library/core/src/slice/sort/stable/drift.rs:234`	unreached	2	0
#205	`library/core/src/tuple.rs:196`	unreached	2	0
#206	`lib.rs:3247`	unreached	2	0
#207	`library/core/src/cmp.rs:1077`	unreached	2	0
#208	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#209	`library/core/src/slice/mod.rs:1017`	unreached	2	0
#210	`library/core/src/slice/sort/stable/quicksort.rs:26`	unreached	2	0
#211	`library/core/src/iter/range.rs:900`	unreached	4	0
#212	`library/core/src/ptr/mod.rs:549`	unreached	6	0
#213	`library/core/src/ptr/mut_ptr.rs:970`	unreached	3	0
#214	`library/core/src/slice/sort/shared/mod.rs:36`	unreached	3	0
#215	`library/core/src/slice/sort/stable/quicksort.rs:140`	unreached	2	0
#216	`library/core/src/slice/sort/stable/quicksort.rs:140`	unreached	3	0
#217	`lib.rs:2378`	unreached	2	0
#218	`library/core/src/cmp.rs:1077`	unreached	2	0
#219	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#220	`library/core/src/slice/sort/stable/quicksort.rs:26`	unreached	2	0
#221	`library/core/src/cmp.rs:1931`	unreached	2	0
#222	`library/core/src/cmp.rs:1916`	unreached	2	0
#223	`library/core/src/iter/range.rs:900`	unreached	5	0
#224	`library/core/src/ptr/mod.rs:549`	unreached	6	0
#225	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#226	`library/core/src/tuple.rs:196`	unreached	2	0
#227	`library/core/src/slice/sort/shared/mod.rs:36`	unreached	3	0
#228	`library/core/src/slice/sort/stable/quicksort.rs:26`	unreached	5	0
#229	`library/core/src/cmp.rs:1931`	unreached	3	0
#230	`library/core/src/iter/range.rs:900`	unreached	2	0
#231	`library/core/src/ptr/mod.rs:549`	unreached	11	0
#232	`library/core/src/ptr/mut_ptr.rs:970`	unreached	3	0
#233	`library/core/src/slice/sort/stable/quicksort.rs:140`	unreached	2	0
#234	`library/alloc/src/slice.rs:252`	unreached	2	0
#235	`library/core/src/ptr/mod.rs:549`	unreached	7	0
#236	`library/core/src/slice/index.rs:557`	unreached	2	0
#237	`library/core/src/slice/sort/shared/mod.rs:36`	unreached	3	0
#238	`lib.rs:3095`	unreached	5	0
#239	`library/alloc/src/slice.rs:252`	unreached	2	0
#240	`library/core/src/cmp.rs:1931`	unreached	3	0
#241	`library/core/src/iter/range.rs:900`	unreached	3	0
#242	`library/core/src/ptr/mod.rs:549`	unreached	9	0
#243	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#244	`library/core/src/slice/mod.rs:1017`	unreached	2	0
#245	`library/core/src/tuple.rs:196`	unreached	2	0
#246	`library/alloc/src/slice.rs:252`	unreached	2	0
#247	`library/core/src/cmp.rs:1916`	unreached	2	0
#248	`library/core/src/ptr/mod.rs:549`	unreached	4	0
#249	`library/core/src/tuple.rs:196`	unreached	4	0
#250	`lib.rs:2387`	unreached	4	0
#251	`library/core/src/cmp.rs:1931`	unreached	4	0
#252	`library/core/src/ptr/mod.rs:549`	unreached	9	0
#253	`library/core/src/slice/sort/stable/drift.rs:255`	unreached	2	0
#254	`library/core/src/slice/sort/stable/quicksort.rs:16`	unreached	4	0
#255	`library/core/src/slice/sort/stable/quicksort.rs:64`	unreached	2	0
#256	`library/core/src/tuple.rs:196`	unreached	4	0
#257	`library/core/src/cmp.rs:1931`	unreached	4	0
#258	`library/core/src/slice/sort/shared/mod.rs:36`	unreached	3	0
#259	`library/core/src/slice/sort/shared/smallsort.rs:61`	unreached	2	0
#260	`library/core/src/tuple.rs:196`	unreached	4	0
#261	`lib.rs:4531`	unreached	3	0
#262	`library/core/src/cmp.rs:1931`	unreached	4	0
#263	`library/core/src/iter/range.rs:900`	unreached	6	0
#264	`library/core/src/ptr/mut_ptr.rs:970`	unreached	4	0
#265	`library/core/src/slice/sort/stable/quicksort.rs:16`	unreached	2	0
#266	`library/core/src/slice/sort/stable/quicksort.rs:140`	unreached	3	0
#267	`library/core/src/tuple.rs:196`	unreached	2	0
#268	`lib.rs:3247`	unreached	2	0
#269	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#270	`library/core/src/slice/sort/stable/merge.rs:89`	unreached	2	0
#271	`library/core/src/slice/sort/stable/merge.rs:130`	unreached	2	0
#272	`library/core/src/slice/sort/stable/merge.rs:89`	unreached	5	0
#273	`library/core/src/tuple.rs:196`	unreached	2	0
#274	`library/core/src/cmp.rs:1931`	unreached	3	0
#275	`library/core/src/ptr/mod.rs:549`	unreached	11	0
#276	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#277	`library/core/src/slice/sort/stable/merge.rs:89`	unreached	4	0
#278	`library/core/src/slice/sort/stable/merge.rs:130`	unreached	2	0
#279	`library/core/src/slice/sort/stable/merge.rs:89`	unreached	2	0
#280	`library/core/src/tuple.rs:197`	unreached	3	0
#281	`library/alloc/src/slice.rs:252`	unreached	2	0
#282	`library/core/src/slice/sort/stable/merge.rs:130`	unreached	3	0
#283	`library/core/src/tuple.rs:197`	unreached	2	0
#284	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#285	`library/core/src/slice/sort/stable/merge.rs:89`	unreached	2	0
#286	`library/core/src/cmp.rs:1931`	unreached	2	0
#287	`library/core/src/slice/sort/unstable/quicksort.rs:100`	unreached	2	0
#288	`library/core/src/slice/sort/unstable/quicksort.rs:326`	unreached	2	0
#289	`library/core/src/slice/sort/unstable/quicksort.rs:312`	unreached	2	0
#290	`library/alloc/src/alloc.rs:99`	unreached	2	0
#291	`library/core/src/ptr/mod.rs:640`	unreached	3	0
#292	`library/core/src/slice/sort/unstable/quicksort.rs:312`	unreached	2	0
#293	`library/alloc/src/collections/btree/map.rs:294`	unreached	2	0
#294	`library/alloc/src/collections/btree/node.rs:896`	unreached	2	0
#295	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#296	`lib.rs:4728`	unreached	3	0
#297	`library/alloc/src/vec/mod.rs:975`	unreached	2	0
#298	`src/lib.rs:41`	unreached	3	0
#299	`library/core/src/mem/maybe_uninit.rs:575`	unreached	2	0
#300	`library/core/src/ptr/non_null.rs:1650`	unreached	2	0
#301	`library/core/src/ptr/mod.rs:1939`	unreached	5	0
#302	`library/core/src/ptr/non_null.rs:614`	unreached	2	0
#303	`library/core/src/slice/iter/macros.rs:284`	unreached	2	0
#304	`lib.rs:7337`	no_witness	2	2
#305	`src/lib.rs:577`	no_witness	2	2
#306	`src/lib.rs:129`	no_witness	4	4
#307	`src/lib.rs:112`	no_witness	3	3
#308	`library/alloc/src/raw_vec/mod.rs:443`	unreached	2	0
#309	`library/core/src/num/uint_macros.rs:703`	unreached	2	0
#310	`library/core/src/slice/mod.rs:4331`	unreached	5	0
#311	`src/digest.rs:75`	unreached	2	0
#312	`library/alloc/src/vec/mod.rs:462`	no_witness	2	1
#313	`library/core/src/num/uint_macros.rs:703`	no_witness	2	1
#314	`library/core/src/slice/mod.rs:4331`	partial	2	1
#315	`src/core_api.rs:63`	no_witness	7	7
#316	`lib.rs:6319`	no_witness	3	3
#317	`library/core/src/slice/index.rs:238`	full_mcdc	2	0
#318	`library/core/src/iter/traits/iterator.rs:2670`	no_witness	3	3
#319	`lib.rs:5101`	no_witness	4	4
#320	`lib.rs:5086`	no_witness	8	8
#321	`lib.rs:5098`	no_witness	2	2
#322	`lib.rs:4934`	no_witness	2	1
#323	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	5	5
#324	`library/alloc/src/vec/mod.rs:2942`	no_witness	3	3
#325	`library/core/src/ptr/non_null.rs:1650`	partial	2	1
#326	`lib.rs:8776`	no_witness	5	5
#327	`lib.rs:8807`	no_witness	6	6
#328	`lib.rs:8833`	no_witness	4	4
#329	`lib.rs:4688`	partial	5	4
#330	`lib.rs:5040`	no_witness	2	2
#331	`lib.rs:5064`	unreached	2	0
#332	`lib.rs:5044`	no_witness	5	5
#333	`library/core/src/slice/index.rs:245`	partial	2	1
#334	`src/lib.rs:68`	no_witness	4	4
#335	`lib.rs:6744`	no_witness	2	2
#336	`library/alloc/src/vec/mod.rs:1039`	partial	2	1
#337	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#338	`lib.rs:2819`	no_witness	3	1
#339	`lib.rs:2768`	no_witness	2	2
#340	`library/alloc/src/vec/mod.rs:1035`	unreached	4	0
#341	`library/alloc/src/vec/mod.rs:2858`	no_witness	2	2
#342	`library/core/src/slice/iter/macros.rs:180`	unreached	4	0
#343	`library/core/src/ptr/mod.rs:1731`	no_witness	3	3
#344	`library/core/src/cmp.rs:1078`	no_witness	2	2
#345	`lib.rs:4544`	no_witness	9	8
#346	`lib.rs:4560`	no_witness	2	2
#347	`lib.rs:4560`	unreached	4	0
#348	`lib.rs:2841`	unreached	3	0
#349	`lib.rs:2858`	unreached	5	0
#350	`lib.rs:4570`	unreached	3	0
#351	`lib.rs:1421`	no_witness	6	5
#352	`lib.rs:6075`	no_witness	5	1
#353	`lib.rs:6105`	no_witness	2	1
#354	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#355	`library/alloc/src/vec/mod.rs:2854`	partial	3	2
#356	`library/alloc/src/vec/mod.rs:1039`	no_witness	2	1
#357	`library/alloc/src/vec/mod.rs:2854`	unreached	4	0
#358	`library/alloc/src/vec/mod.rs:1035`	unreached	3	0
#359	`library/core/src/option.rs:2939`	no_witness	5	4
#360	`library/core/src/ptr/mod.rs:1731`	no_witness	12	11
#361	`library/core/src/ptr/mod.rs:1731`	no_witness	4	3
#362	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#363	`library/core/src/ptr/mod.rs:1939`	unreached	9	0
#364	`library/core/src/ptr/mod.rs:823`	no_witness	3	2
#365	`library/core/src/ptr/non_null.rs:1650`	unreached	2	0
#366	`library/core/src/slice/iter/macros.rs:180`	no_witness	6	1
#367	`src/lib.rs:945`	no_witness	2	2
#368	`src/lib.rs:480`	no_witness	4	4
#369	`src/lib.rs:174`	no_witness	2	2
#370	`src/lib.rs:750`	no_witness	2	2
#371	`src/lib.rs:760`	no_witness	2	2
#372	`src/lib.rs:777`	no_witness	2	1
#373	`src/lib.rs:577`	no_witness	3	3
#374	`src/lib.rs:833`	unreached	3	0
#375	`lib.rs:5208`	unreached	17	0
#376	`library/alloc/src/collections/btree/map.rs:1920`	no_witness	3	3
#377	`lib.rs:5217`	no_witness	7	6
#378	`lib.rs:5731`	no_witness	7	5
#379	`library/alloc/src/collections/btree/map.rs:1886`	no_witness	3	3
#380	`library/alloc/src/collections/btree/map.rs:1920`	no_witness	2	2
#381	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	2	1
#382	`library/core/src/ptr/mod.rs:1731`	unreached	3	0
#383	`library/core/src/ptr/mod.rs:823`	no_witness	4	4
#384	`lib.rs:6027`	no_witness	5	5
#385	`lib.rs:5479`	unreached	2	0
#386	`lib.rs:5497`	unreached	2	0
#387	`lib.rs:5559`	unreached	2	0
#388	`lib.rs:4870`	unreached	3	0
#389	`lib.rs:5571`	unreached	10	0
#390	`lib.rs:5583`	unreached	2	0
#391	`lib.rs:5324`	unreached	2	0
#392	`lib.rs:5351`	unreached	2	0
#393	`lib.rs:6772`	no_witness	12	12
#394	`lib.rs:6811`	no_witness	2	2
#395	`lib.rs:1319`	no_witness	2	2
#396	`lib.rs:7990`	no_witness	2	2
#397	`lib.rs:8138`	no_witness	2	2
#398	`lib.rs:6821`	no_witness	8	6
#399	`lib.rs:6797`	no_witness	2	1
#400	`lib.rs:7130`	unreached	2	0
#401	`lib.rs:7084`	partial	11	8
#402	`lib.rs:7359`	no_witness	2	2
#403	`lib.rs:2736`	unreached	2	0
#404	`lib.rs:8180`	no_witness	3	3
#405	`lib.rs:4664`	unreached	2	0
#406	`lib.rs:6993`	no_witness	5	5
#407	`lib.rs:7167`	no_witness	14	1
#408	`lib.rs:5379`	no_witness	2	1
#409	`lib.rs:4893`	unreached	2	0
#410	`lib.rs:1509`	no_witness	3	2
#411	`lib.rs:4374`	unreached	3	0
#412	`library/alloc/src/collections/btree/map.rs:1889`	no_witness	5	5
#413	`library/alloc/src/collections/btree/search.rs:225`	no_witness	2	2
#414	`library/alloc/src/collections/btree/search.rs:203`	no_witness	4	2
#415	`library/alloc/src/fmt.rs:659`	no_witness	4	3
#416	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	3	2
#417	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	3	1
#418	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	2	2
#419	`library/alloc/src/raw_vec/mod.rs:443`	no_witness	6	4
#420	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#421	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	2	1
#422	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	5	4
#423	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	7	4
#424	`library/alloc/src/vec/mod.rs:1035`	no_witness	2	2
#425	`library/alloc/src/vec/mod.rs:2854`	unreached	2	0
#426	`library/alloc/src/vec/mod.rs:462`	unreached	2	0
#427	`library/alloc/src/vec/mod.rs:2854`	unreached	3	0
#428	`library/alloc/src/vec/mod.rs:1044`	no_witness	2	1
#429	`library/alloc/src/vec/mod.rs:1044`	no_witness	9	9
#430	`library/alloc/src/vec/mod.rs:2854`	unreached	2	0
#431	`library/alloc/src/vec/mod.rs:4303`	unreached	2	0
#432	`library/alloc/src/vec/mod.rs:462`	unreached	2	0
#433	`library/alloc/src/vec/mod.rs:1035`	no_witness	2	1
#434	`library/core/src/cmp.rs:2011`	no_witness	4	4
#435	`library/core/src/option.rs:1365`	no_witness	3	3
#436	`library/core/src/option.rs:1365`	unreached	3	0
#437	`library/core/src/ptr/mod.rs:1939`	no_witness	3	3
#438	`library/core/src/ptr/mod.rs:1939`	no_witness	7	5
#439	`library/core/src/ptr/mod.rs:823`	unreached	3	0
#440	`library/core/src/ptr/mod.rs:1939`	unreached	4	0
#441	`library/core/src/ptr/mod.rs:1939`	no_witness	10	6
#442	`library/core/src/ptr/mod.rs:1731`	partial	2	1
#443	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#444	`library/core/src/ptr/mod.rs:1939`	no_witness	17	11
#445	`library/core/src/ptr/mod.rs:1939`	no_witness	4	4
#446	`library/core/src/ptr/mod.rs:549`	partial	2	1
#447	`library/core/src/ptr/mod.rs:1939`	no_witness	4	4
#448	`library/core/src/ptr/mut_ptr.rs:970`	no_witness	5	2
#449	`library/core/src/ptr/non_null.rs:1650`	partial	3	0
#450	`library/core/src/result.rs:2176`	no_witness	28	10
#451	`library/core/src/slice/index.rs:184`	unreached	2	0
#452	`library/core/src/slice/iter/macros.rs:284`	no_witness	2	1
#453	`library/core/src/slice/iter/macros.rs:25`	no_witness	2	1
#454	`library/core/src/slice/iter/macros.rs:284`	no_witness	3	2
#455	`lib.rs:7568`	unreached	2	0
#456	`lib.rs:1444`	no_witness	4	4
#457	`library/alloc/src/fmt.rs:659`	no_witness	3	2
#458	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	9	4
#459	`library/alloc/src/vec/mod.rs:1035`	no_witness	6	3
#460	`library/core/src/ptr/mod.rs:1939`	no_witness	4	1
#461	`library/core/src/ptr/mod.rs:1939`	no_witness	6	3
#462	`lib.rs:1448`	no_witness	4	4
#463	`lib.rs:4949`	unreached	5	0
#464	`lib.rs:8585`	no_witness	3	2
#465	`library/alloc/src/collections/btree/map.rs:1889`	no_witness	2	2
#466	`library/alloc/src/collections/btree/map.rs:1920`	no_witness	2	2
#467	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	2	1
#468	`library/alloc/src/vec/mod.rs:1912`	no_witness	2	1
#469	`library/core/src/ptr/mod.rs:823`	partial	2	1
#470	`library/core/src/slice/iter/macros.rs:284`	no_witness	2	1
#471	`library/alloc/src/vec/mod.rs:1039`	no_witness	2	2
#472	`library/core/src/slice/cmp.rs:426`	no_witness	2	2
#473	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	2	1
#474	`library/alloc/src/vec/mod.rs:2854`	unreached	2	0
#475	`lib.rs:8669`	unreached	2	0
#476	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#477	`lib.rs:8680`	no_witness	2	2
#478	`lib.rs:8700`	unreached	4	0
#479	`lib.rs:8720`	no_witness	2	1
#480	`lib.rs:4616`	unreached	2	0
#481	`lib.rs:3019`	no_witness	4	3
#482	`lib.rs:2983`	no_witness	3	3
#483	`lib.rs:3030`	no_witness	6	6
#484	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	4	2
#485	`library/alloc/src/raw_vec/mod.rs:435`	partial	2	1
#486	`library/alloc/src/vec/mod.rs:1035`	unreached	5	0
#487	`library/alloc/src/vec/mod.rs:1873`	no_witness	2	1
#488	`library/alloc/src/vec/mod.rs:1035`	no_witness	3	3
#489	`library/alloc/src/vec/spec_from_iter_nested.rs:36`	full_mcdc	2	0
#490	`library/core/src/option.rs:1163`	no_witness	2	2
#491	`library/core/src/ptr/mod.rs:1939`	no_witness	6	5
#492	`library/core/src/ptr/mod.rs:1731`	no_witness	2	2
#493	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#494	`library/core/src/option.rs:2940`	no_witness	4	3
#495	`library/core/src/ptr/mod.rs:1731`	no_witness	5	5
#496	`lib.rs:3113`	no_witness	5	3
#497	`lib.rs:3052`	unreached	4	0
#498	`lib.rs:6680`	unreached	2	0
#499	`lib.rs:6701`	unreached	3	0
#500	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	4	1
#501	`library/alloc/src/vec/mod.rs:1039`	unreached	6	0
#502	`library/alloc/src/vec/spec_from_iter.rs:33`	unreached	2	0
#503	`library/alloc/src/vec/spec_from_iter_nested.rs:61`	no_witness	2	1
#504	`library/core/src/iter/adapters/map.rs:69`	unreached	3	0
#505	`library/core/src/ptr/const_ptr.rs:734`	unreached	2	0
#506	`library/core/src/ptr/mod.rs:1731`	no_witness	3	3
#507	`library/core/src/ptr/mod.rs:1939`	unreached	4	0
#508	`library/core/src/slice/index.rs:238`	unreached	3	0
#509	`library/core/src/slice/iter/macros.rs:25`	unreached	5	0
#510	`lib.rs:7714`	no_witness	3	3
#511	`lib.rs:1059`	partial	2	1
#512	`lib.rs:7525`	no_witness	2	2
#513	`lib.rs:7765`	no_witness	2	2
#514	`lib.rs:7794`	no_witness	3	3
#515	`lib.rs:7775`	partial	3	2
#516	`library/alloc/src/fmt.rs:659`	no_witness	2	2
#517	`library/alloc/src/raw_vec/mod.rs:435`	partial	2	0
#518	`library/alloc/src/vec/mod.rs:1039`	full_mcdc	2	0
#519	`library/core/src/num/int_macros.rs:1983`	no_witness	2	2
#520	`library/core/src/ptr/mod.rs:1939`	partial	5	4
#521	`lib.rs:7812`	no_witness	3	3
#522	`library/core/src/slice/iter/macros.rs:180`	no_witness	2	2
#523	`lib.rs:3555`	no_witness	2	2
#524	`lib.rs:3578`	unreached	3	0
#525	`lib.rs:3379`	unreached	3	0
#526	`library/alloc/src/raw_vec/mod.rs:435`	unreached	6	0
#527	`library/alloc/src/vec/mod.rs:1873`	unreached	2	0
#528	`library/core/src/slice/iter/macros.rs:349`	unreached	2	0
#529	`src/core_api/wrapper.rs:23`	unreached	2	0
#530	`lib.rs:3340`	no_witness	3	3
#531	`lib.rs:3617`	no_witness	2	2
#532	`lib.rs:3633`	unreached	3	0
#533	`lib.rs:3399`	no_witness	2	1
#534	`library/alloc/src/collections/btree/map.rs:1515`	no_witness	2	2
#535	`library/alloc/src/collections/btree/search.rs:225`	no_witness	2	2
#536	`library/alloc/src/raw_vec/mod.rs:615`	partial	3	2
#537	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	2	2
#538	`library/alloc/src/vec/mod.rs:1202`	full_mcdc	2	0
#539	`library/alloc/src/vec/mod.rs:3064`	no_witness	2	2
#540	`library/alloc/src/vec/mod.rs:1873`	no_witness	3	1
#541	`library/alloc/src/vec/mod.rs:2942`	no_witness	5	5
#542	`library/core/src/iter/traits/iterator.rs:2493`	partial	2	1
#543	`library/core/src/ptr/mod.rs:823`	no_witness	3	1
#544	`library/core/src/slice/cmp.rs:157`	no_witness	2	2
#545	`library/core/src/slice/memchr.rs:31`	no_witness	6	6
#546	`library/core/src/slice/mod.rs:2660`	unreached	2	0
#547	`library/core/src/str/mod.rs:383`	no_witness	2	1
#548	`lib.rs:2926`	unreached	8	0
#549	`lib.rs:2937`	unreached	6	0
#550	`lib.rs:2955`	unreached	2	0
#551	`library/alloc/src/collections/btree/map.rs:1886`	no_witness	2	1
#552	`library/alloc/src/collections/btree/map.rs:1920`	unreached	2	0
#553	`library/alloc/src/fmt.rs:659`	no_witness	2	2
#554	`library/alloc/src/raw_vec/mod.rs:493`	unreached	2	0
#555	`library/alloc/src/raw_vec/mod.rs:186`	unreached	2	0
#556	`library/alloc/src/raw_vec/mod.rs:493`	unreached	2	0
#557	`library/alloc/src/raw_vec/mod.rs:615`	unreached	5	0
#558	`library/alloc/src/vec/spec_from_iter_nested.rs:61`	unreached	2	0
#559	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#560	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#561	`library/core/src/ptr/mod.rs:823`	unreached	3	0
#562	`library/core/src/slice/index.rs:238`	unreached	4	0
#563	`library/core/src/slice/iter/macros.rs:180`	unreached	3	0
#564	`lib.rs:6583`	no_witness	2	2
#565	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	2	2
#566	`library/alloc/src/vec/spec_from_elem.rs:15`	no_witness	3	3
#567	`library/alloc/src/collections/btree/search.rs:225`	no_witness	2	2
#568	`library/alloc/src/alloc.rs:128`	no_witness	3	1
#569	`library/alloc/src/collections/btree/navigate.rs:214`	unreached	2	0
#570	`library/alloc/src/collections/btree/node.rs:731`	no_witness	2	2
#571	`library/alloc/src/collections/btree/node.rs:338`	no_witness	3	1
#572	`library/core/src/option.rs:743`	unreached	2	0
#573	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#574	`lib.rs:6167`	no_witness	3	3
#575	`library/alloc/src/collections/btree/node.rs:731`	no_witness	2	2
#576	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	2	2
#577	`library/core/src/slice/cmp.rs:426`	no_witness	9	8
#578	`library/core/src/slice/iter/macros.rs:332`	no_witness	2	2
#579	`library/core/src/slice/cmp.rs:426`	no_witness	2	2
#580	`library/core/src/slice/cmp.rs:426`	no_witness	2	2
#581	`lib.rs:6207`	unreached	2	0
#582	`lib.rs:3169`	no_witness	3	2
#583	`lib.rs:3185`	no_witness	2	1
#584	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	4	3
#585	`library/core/src/ptr/mod.rs:1939`	no_witness	3	1
#586	`library/core/src/slice/iter/macros.rs:180`	no_witness	2	1
#587	`library/core/src/str/pattern.rs:978`	unreached	2	0
#588	`library/alloc/src/vec/mod.rs:1035`	no_witness	4	2
#589	`library/core/src/char/methods.rs:2451`	unreached	2	0
#590	`library/core/src/cmp.rs:1916`	no_witness	3	1
#591	`library/core/src/ptr/const_ptr.rs:872`	no_witness	2	2
#592	`library/core/src/ptr/mod.rs:1939`	no_witness	6	1
#593	`library/core/src/slice/index.rs:245`	unreached	2	0
#594	`library/core/src/slice/index.rs:184`	no_witness	2	2
#595	`library/core/src/str/pattern.rs:1124`	no_witness	10	2
#596	`library/core/src/str/pattern.rs:1138`	partial	5	0
#597	`library/core/src/str/pattern.rs:1487`	no_witness	2	1
#598	`library/core/src/str/pattern.rs:1498`	unreached	2	0
#599	`library/core/src/str/pattern.rs:1523`	unreached	4	0
#600	`library/core/src/str/pattern.rs:1505`	unreached	3	0
#601	`library/core/src/str/pattern.rs:1523`	no_witness	2	1
#602	`library/core/src/str/validations.rs:64`	unreached	2	0
#603	`lib.rs:8232`	no_witness	4	1
#604	`library/alloc/src/raw_vec/mod.rs:435`	partial	2	1
#605	`library/alloc/src/raw_vec/mod.rs:620`	unreached	2	0
#606	`library/alloc/src/vec/mod.rs:975`	partial	2	1
#607	`library/alloc/src/vec/mod.rs:1035`	unreached	2	0
#608	`library/alloc/src/vec/mod.rs:2854`	no_witness	3	2
#609	`library/core/src/ptr/mod.rs:549`	no_witness	2	2
#610	`library/core/src/ptr/mod.rs:1939`	unreached	3	0
#611	`library/core/src/str/pattern.rs:1474`	partial	2	1
#612	`lib.rs:8316`	unreached	3	0
#613	`lib.rs:8333`	unreached	2	0
#614	`lib.rs:8283`	unreached	2	0
#615	`library/alloc/src/raw_vec/mod.rs:435`	unreached	4	0
#616	`library/core/src/option.rs:743`	unreached	2	0
#617	`library/core/src/ptr/mod.rs:1939`	unreached	6	0
#618	`lib.rs:7859`	no_witness	2	1
#619	`lib.rs:7889`	no_witness	3	1
#620	`lib.rs:6229`	unreached	2	0
#621	`lib.rs:6246`	unreached	3	0
#622	`lib.rs:6263`	no_witness	3	2
#623	`library/alloc/src/raw_vec/mod.rs:493`	no_witness	2	2
#624	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	3	2
#625	`library/alloc/src/vec/mod.rs:462`	unreached	2	0
#626	`library/core/src/iter/traits/iterator.rs:2493`	no_witness	2	2
#627	`library/core/src/ptr/mod.rs:823`	no_witness	4	4
#628	`library/core/src/ptr/mod.rs:1939`	no_witness	3	3
#629	`library/core/src/ptr/non_null.rs:1650`	partial	2	1
#630	`library/core/src/slice/cmp.rs:426`	no_witness	8	5
#631	`library/core/src/slice/index.rs:245`	no_witness	2	2
#632	`library/alloc/src/vec/mod.rs:2746`	no_witness	2	2
#633	`lib.rs:1579`	no_witness	6	5
#634	`lib.rs:1606`	unreached	3	0
#635	`library/alloc/src/fmt.rs:659`	no_witness	3	1
#636	`library/alloc/src/raw_vec/mod.rs:615`	unreached	3	0
#637	`library/core/src/ptr/mod.rs:1939`	unreached	3	0
#638	`src/core_api/wrapper.rs:23`	no_witness	3	1
#639	`lib.rs:1763`	no_witness	3	2
#640	`lib.rs:1591`	no_witness	28	21
#641	`lib.rs:1763`	no_witness	3	3
#642	`library/core/src/ptr/mod.rs:549`	no_witness	2	1
#643	`library/core/src/ptr/mod.rs:823`	no_witness	2	2
#644	`library/core/src/result.rs:964`	no_witness	3	3
#645	`library/core/src/result.rs:2176`	no_witness	10	3
#646	`lib.rs:1764`	no_witness	5	5
#647	`lib.rs:1770`	no_witness	3	2
#648	`lib.rs:2062`	no_witness	3	2
#649	`lib.rs:1953`	no_witness	5	4
#650	`lib.rs:7869`	partial	7	4
#651	`lib.rs:1999`	unreached	2	0
#652	`lib.rs:1836`	no_witness	14	11
#653	`lib.rs:1900`	no_witness	7	7
#654	`lib.rs:1827`	no_witness	5	5
#655	`lib.rs:1790`	no_witness	2	2
#656	`lib.rs:1824`	unreached	4	0
#657	`lib.rs:1871`	unreached	5	0
#658	`lib.rs:1871`	unreached	7	0
#659	`lib.rs:2157`	no_witness	2	1
#660	`lib.rs:2176`	no_witness	2	2
#661	`lib.rs:2287`	unreached	2	0
#662	`lib.rs:2311`	no_witness	2	2
#663	`lib.rs:2344`	no_witness	2	2
#664	`lib.rs:2464`	full_mcdc	2	0
#665	`lib.rs:2617`	no_witness	2	2
#666	`lib.rs:2708`	no_witness	5	4
#667	`lib.rs:2728`	partial	4	3
#668	`library/alloc/src/alloc.rs:128`	no_witness	4	3
#669	`library/alloc/src/fmt.rs:659`	no_witness	3	2
#670	`library/alloc/src/raw_vec/mod.rs:436`	no_witness	3	3
#671	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	2	2
#672	`library/alloc/src/raw_vec/mod.rs:493`	unreached	3	0
#673	`library/alloc/src/raw_vec/mod.rs:435`	unreached	2	0
#674	`library/alloc/src/vec/mod.rs:1035`	no_witness	3	1
#675	`library/alloc/src/vec/mod.rs:1035`	no_witness	2	2
#676	`library/alloc/src/vec/mod.rs:1873`	no_witness	2	1
#677	`library/alloc/src/vec/mod.rs:975`	unreached	2	0
#678	`library/core/src/iter/adapters/enumerate.rs:80`	no_witness	3	2
#679	`library/core/src/iter/range.rs:900`	no_witness	2	2
#680	`library/core/src/iter/traits/iterator.rs:2670`	unreached	3	0
#681	`library/core/src/option.rs:765`	no_witness	2	2
#682	`library/core/src/option.rs:1163`	no_witness	3	3
#683	`library/core/src/option.rs:2873`	partial	2	1
#684	`library/core/src/ptr/mod.rs:823`	no_witness	3	2
#685	`library/core/src/ptr/mod.rs:823`	partial	2	1
#686	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#687	`library/core/src/ptr/mod.rs:823`	no_witness	2	1
#688	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#689	`library/core/src/ptr/mod.rs:823`	partial	4	3
#690	`library/core/src/ptr/mod.rs:1939`	full_mcdc	3	0
#691	`library/core/src/ptr/mod.rs:823`	no_witness	9	9
#692	`library/core/src/ptr/mod.rs:1731`	no_witness	2	2
#693	`library/core/src/ptr/non_null.rs:1650`	no_witness	2	2
#694	`library/core/src/result.rs:965`	no_witness	5	4
#695	`library/core/src/result.rs:2192`	no_witness	2	2
#696	`library/core/src/result.rs:964`	no_witness	7	3
#697	`library/core/src/result.rs:2192`	no_witness	7	7
#698	`library/core/src/result.rs:965`	no_witness	2	2
#699	`library/core/src/result.rs:2177`	no_witness	2	2
#700	`library/core/src/result.rs:2176`	unreached	2	0
#701	`library/core/src/result.rs:964`	unreached	2	0
#702	`library/core/src/result.rs:965`	no_witness	2	1
#703	`library/core/src/slice/iter/macros.rs:180`	partial	2	1
#704	`src/binary_reader.rs:285`	partial	3	0
#705	`src/binary_reader.rs:348`	no_witness	2	1
#706	`src/parser.rs:1091`	partial	2	0
#707	`src/readers.rs:295`	unreached	2	0
#708	`src/readers.rs:202`	no_witness	2	2
#709	`src/readers.rs:200`	no_witness	2	2
#710	`src/readers.rs:212`	no_witness	4	2
#711	`src/readers.rs:200`	partial	2	1
#712	`src/readers.rs:197`	partial	2	1
#713	`src/readers.rs:202`	no_witness	2	2
#714	`src/readers.rs:213`	no_witness	5	5
#715	`src/readers.rs:197`	unreached	3	0
#716	`src/readers.rs:212`	unreached	2	0
#717	`library/core/src/slice/cmp.rs:426`	partial	4	3
#718	`library/core/src/slice/mod.rs:2599`	no_witness	2	2
#719	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	3	3
#720	`library/core/src/iter/traits/iterator.rs:2670`	no_witness	2	1
#721	`library/alloc/src/raw_vec/mod.rs:493`	unreached	2	0
#722	`lib.rs:1471`	partial	2	1
#723	`library/alloc/src/fmt.rs:659`	partial	2	1
#724	`library/alloc/src/raw_vec/mod.rs:615`	partial	2	1
#725	`library/alloc/src/vec/mod.rs:1035`	no_witness	2	2
#726	`library/core/src/ptr/mod.rs:1939`	no_witness	2	2
#727	`lib.rs:7303`	partial	2	0
#728	`lib.rs:1471`	unreached	6	0
#729	`lib.rs:7307`	unreached	2	0
#730	`lib.rs:7228`	unreached	2	0
#731	`library/alloc/src/fmt.rs:659`	unreached	2	0
#732	`library/core/src/option.rs:1365`	unreached	2	0
#733	`lib.rs:7238`	no_witness	2	2
#734	`lib.rs:7237`	partial	3	2
#735	`library/alloc/src/raw_vec/mod.rs:493`	no_witness	3	3
#736	`lib.rs:5164`	no_witness	3	3
#737	`library/alloc/src/raw_vec/mod.rs:186`	no_witness	2	2
#738	`lib.rs:5163`	unreached	2	0
#739	`lib.rs:5810`	unreached	4	0
#740	`library/alloc/src/collections/btree/map.rs:1889`	unreached	2	0
#741	`library/alloc/src/raw_vec/mod.rs:435`	unreached	4	0
#742	`src/lib.rs:69`	unreached	9	0
#743	`library/core/src/option.rs:968`	no_witness	2	2
#744	`lib.rs:5827`	no_witness	3	3
#745	`lib.rs:5865`	no_witness	6	5
#746	`lib.rs:5897`	partial	2	1
#747	`lib.rs:5907`	no_witness	2	2
#748	`lib.rs:100`	no_witness	2	2
#749	`lib.rs:5941`	no_witness	2	2
#750	`lib.rs:5951`	partial	5	3
#751	`lib.rs:5944`	no_witness	2	2
#752	`lib.rs:5645`	no_witness	2	2
#753	`lib.rs:4999`	no_witness	2	2
#754	`lib.rs:5667`	no_witness	2	1
#755	`library/alloc/src/collections/btree/map.rs:1920`	no_witness	5	3
#756	`library/alloc/src/raw_vec/mod.rs:435`	no_witness	3	1
#757	`library/alloc/src/raw_vec/mod.rs:425`	no_witness	2	2
#758	`library/alloc/src/raw_vec/mod.rs:436`	no_witness	2	1
#759	`library/alloc/src/vec/spec_from_iter_nested.rs:61`	no_witness	2	1
#760	`library/core/src/option.rs:2873`	unreached	3	0
#761	`library/core/src/ptr/mod.rs:1939`	no_witness	2	1
#762	`library/core/src/ptr/mod.rs:823`	unreached	2	0
#763	`library/core/src/ptr/mod.rs:823`	no_witness	5	5
#764	`library/core/src/slice/cmp.rs:131`	no_witness	2	1
#765	`library/core/src/slice/iter/macros.rs:25`	no_witness	2	2
#766	`library/core/src/slice/iter/macros.rs:284`	no_witness	2	1
#767	`src/lib.rs:43`	no_witness	2	2
#768	`src/lib.rs:68`	no_witness	3	1
#769	`lib.rs:1045`	unreached	3	0
#770	`library/alloc/src/collections/btree/navigate.rs:214`	unreached	3	0
#771	`library/core/src/ops/function.rs:250`	partial	4	1
#772	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#773	`src/lib.rs:801`	partial	5	3
#774	`src/lib.rs:737`	unreached	2	0
#775	`src/lib.rs:750`	no_witness	3	1
#776	`src/lib.rs:714`	unreached	2	0
#777	`library/alloc/src/alloc.rs:128`	partial	2	1
#778	`src/readers/core/operators.rs:333`	no_witness	7	5
#779	`src/readers/core/operators.rs:333`	unreached	2	0
#780	`src/readers/core/operators.rs:333`	unreached	2	0
#781	`src/readers/core/operators.rs:333`	unreached	2	0
#782	`src/readers/core/operators.rs:333`	unreached	2	0
#783	`src/readers/core/operators.rs:333`	unreached	2	0
#784	`src/lib.rs:833`	no_witness	3	1
#785	`src/readers/core/operators.rs:333`	no_witness	24	11
#786	`library/core/src/ptr/mod.rs:823`	unreached	2	0
#787	`src/readers/core/operators.rs:22`	unreached	2	0
#788	`lib.rs:96`	no_witness	2	2
#789	`lib.rs:70`	unreached	2	0
#790	`lib.rs:238`	unreached	2	0
#791	`lib.rs:105`	unreached	2	0
#792	`lib.rs:105`	no_witness	2	2
#793	`lib.rs:81`	unreached	2	0
#794	`lib.rs:105`	unreached	4	0
#795	`lib.rs:272`	unreached	7	0
#796	`lib.rs:211`	unreached	2	0
#797	`library/alloc/src/raw_vec/mod.rs:470`	unreached	2	0
#798	`library/alloc/src/alloc.rs:196`	unreached	2	0
#799	`library/alloc/src/raw_vec/mod.rs:461`	unreached	2	0
#800	`library/alloc/src/raw_vec/mod.rs:591`	unreached	2	0
#801	`library/alloc/src/raw_vec/mod.rs:436`	unreached	2	0
#802	`library/alloc/src/raw_vec/mod.rs:591`	unreached	2	0
#803	`library/alloc/src/raw_vec/mod.rs:777`	unreached	2	0
#804	`library/core/src/cmp.rs:1038`	unreached	2	0
#805	`library/core/src/intrinsics/mod.rs:459`	unreached	2	0
#806	`library/core/src/iter/range.rs:900`	unreached	2	0
#807	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#808	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#809	`library/alloc/src/alloc.rs:99`	unreached	3	0
#810	`library/alloc/src/raw_vec/mod.rs:565`	unreached	2	0
#811	`library/core/src/iter/range.rs:900`	unreached	6	0
#812	`library/core/src/ptr/mod.rs:1939`	unreached	3	0
#813	`library/core/src/ptr/mut_ptr.rs:970`	unreached	5	0
#814	`library/core/src/slice/index.rs:238`	unreached	2	0
#815	`lib.rs:86`	no_witness	3	1
#816	`library/alloc/src/alloc.rs:128`	no_witness	2	1
#817	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#818	`library/alloc/src/raw_vec/mod.rs:435`	unreached	2	0
#819	`library/core/src/cmp.rs:1038`	unreached	2	0
#820	`library/alloc/src/raw_vec/mod.rs:565`	unreached	2	0
#821	`lib.rs:294`	unreached	6	0
#822	`library/core/src/result.rs:2192`	unreached	2	0
#823	`lib.rs:323`	unreached	3	0
#824	`lib.rs:264`	unreached	3	0
#825	`lib.rs:327`	unreached	4	0
#826	`lib.rs:251`	unreached	3	0
#827	`library/core/src/result.rs:2177`	unreached	3	0
#828	`library/core/src/result.rs:2192`	unreached	2	0
#829	`library/core/src/result.rs:2177`	unreached	2	0
#830	`library/core/src/result.rs:2192`	unreached	3	0
#831	`library/core/src/result.rs:2177`	unreached	3	0
#832	`library/alloc/src/vec/mod.rs:1038`	no_witness	2	2
#833	`library/core/src/result.rs:2192`	no_witness	2	1
#834	`library/core/src/cmp.rs:1916`	unreached	2	0
#835	`lib.rs:354`	unreached	4	0
#836	`lib.rs:245`	unreached	3	0
#837	`library/core/src/num/uint_macros.rs:898`	unreached	2	0
#838	`lib.rs:174`	unreached	3	0
#839	`lib.rs:187`	unreached	5	0
#840	`library/alloc/src/alloc.rs:99`	unreached	2	0
#841	`library/alloc/src/vec/mod.rs:2752`	unreached	3	0
#842	`library/core/src/fmt/builders.rs:787`	unreached	4	0
#843	`library/core/src/fmt/mod.rs:2132`	unreached	4	0
#844	`library/core/src/cmp.rs:1916`	unreached	2	0
#845	`library/core/src/slice/sort/shared/mod.rs:36`	unreached	3	0
#846	`library/core/src/mem/mod.rs:825`	unreached	2	0
#847	`library/core/src/slice/mod.rs:1017`	unreached	2	0
#848	`library/core/src/ptr/mod.rs:1731`	no_witness	3	3
#849	`library/core/src/ptr/mod.rs:1731`	unreached	2	0
#850	`library/core/src/ptr/mod.rs:640`	full_mcdc	2	0
#851	`library/core/src/ptr/mod.rs:1731`	no_witness	4	4
#852	`library/core/src/ptr/mod.rs:640`	partial	2	1
#853	`library/core/src/ptr/mod.rs:640`	unreached	4	0
#854	`library/core/src/ptr/mod.rs:1731`	unreached	3	0
#855	`library/core/src/ptr/mut_ptr.rs:970`	unreached	2	0
#856	`library/alloc/src/raw_vec/mod.rs:186`	unreached	2	0
#857	`library/alloc/src/vec/mod.rs:2746`	unreached	3	0
#858	`library/core/src/cmp.rs:1878`	unreached	2	0
#859	`lib.rs:200`	full_mcdc	2	0
#860	`library/core/src/result.rs:2177`	no_witness	2	2
#861	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#862	`library/alloc/src/vec/mod.rs:1039`	unreached	2	0
#863	`library/alloc/src/vec/mod.rs:2752`	unreached	2	0
#864	`lib.rs:92`	unreached	2	0
#865	`library/alloc/src/vec/mod.rs:2746`	unreached	2	0
#866	`library/alloc/src/raw_vec/mod.rs:493`	unreached	2	0
#867	`lib.rs:182`	no_witness	3	1
#868	`library/alloc/src/vec/mod.rs:1039`	unreached	2	0
#869	`library/alloc/src/vec/mod.rs:1038`	unreached	2	0
#870	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#871	`lib.rs:92`	unreached	4	0
#872	`lib.rs:134`	unreached	2	0
#873	`lib.rs:91`	unreached	5	0
#874	`lib.rs:170`	unreached	2	0
#875	`library/alloc/src/vec/mod.rs:2746`	unreached	6	0
#876	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#877	`library/core/src/ptr/non_null.rs:1650`	unreached	2	0
#878	`library/core/src/slice/iter.rs:1355`	unreached	3	0
#879	`lib.rs:172`	unreached	2	0
#880	`lib.rs:91`	no_witness	2	1
#881	`library/alloc/src/vec/mod.rs:1039`	unreached	2	0
#882	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#883	`library/core/src/slice/iter.rs:1355`	unreached	2	0
#884	`lib.rs:170`	unreached	2	0
#885	`lib.rs:92`	unreached	6	0
#886	`lib.rs:74`	unreached	2	0
#887	`library/alloc/src/raw_vec/mod.rs:470`	unreached	2	0
#888	`library/alloc/src/vec/mod.rs:1039`	unreached	2	0
#889	`library/core/src/iter/adapters/copied.rs:36`	unreached	2	0
#890	`library/core/src/slice/iter/macros.rs:25`	no_witness	3	1
#891	`library/core/src/slice/iter/macros.rs:284`	unreached	3	0
#892	`lib.rs:163`	unreached	2	0
#893	`lib.rs:68`	no_witness	2	1
#894	`library/core/src/iter/adapters/filter.rs:79`	unreached	3	0
#895	`library/core/src/slice/iter/macros.rs:284`	unreached	2	0
#896	`lib.rs:126`	no_witness	2	1
#897	`lib.rs:231`	no_witness	3	2
#898	`library/core/src/num/int_macros.rs:2115`	unreached	2	0
#899	`library/core/src/num/int_macros.rs:2765`	unreached	3	0
#900	`lib.rs:211`	no_witness	4	4
#901	`lib.rs:172`	partial	3	0
#902	`library/alloc/src/raw_vec/mod.rs:470`	no_witness	2	2
#903	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#904	`library/alloc/src/raw_vec/mod.rs:662`	unreached	3	0
#905	`library/core/src/ptr/mod.rs:823`	partial	2	0
#906	`library/core/src/slice/iter/macros.rs:279`	partial	2	1
#907	`library/alloc/src/vec/spec_from_iter_nested.rs:36`	no_witness	2	2
#908	`lib.rs:372`	no_witness	2	2
#909	`library/alloc/src/raw_vec/mod.rs:564`	no_witness	3	3
#910	`lib.rs:384`	no_witness	5	3
#911	`library/alloc/src/vec/mod.rs:4077`	no_witness	2	2
#912	`library/alloc/src/vec/mod.rs:1035`	no_witness	2	2
#913	`library/alloc/src/raw_vec/mod.rs:615`	unreached	2	0
#914	`lib.rs:399`	no_witness	3	3
#915	`library/core/src/option.rs:1541`	full_mcdc	2	0
#916	`library/core/src/slice/index.rs:238`	no_witness	3	2
#917	`lib.rs:413`	unreached	2	0
#918	`library/core/src/slice/index.rs:238`	unreached	2	0
#919	`lib.rs:424`	unreached	3	0
#920	`library/alloc/src/vec/mod.rs:1039`	unreached	3	0
#921	`library/core/src/ptr/mod.rs:823`	no_witness	3	2
#922	`lib.rs:442`	partial	2	0
#923	`lib.rs:361`	no_witness	2	2
#924	`lib.rs:361`	no_witness	3	3
#925	`lib.rs:452`	partial	3	2
#926	`lib.rs:186`	unreached	4	0
#927	`lib.rs:203`	partial	4	2
#928	`lib.rs:68`	full_mcdc	2	0
#929	`library/alloc/src/raw_vec/mod.rs:635`	no_witness	3	3
#930	`library/alloc/src/raw_vec/mod.rs:615`	no_witness	2	2
#931	`library/alloc/src/raw_vec/mod.rs:777`	partial	2	0
#932	`library/alloc/src/raw_vec/mod.rs:461`	partial	3	2
#933	`library/core/src/num/int_macros.rs:3634`	no_witness	2	2
#934	`library/core/src/option.rs:1650`	partial	3	0
#935	`library/core/src/slice/iter/macros.rs:180`	no_witness	2	2
#936	`library/core/src/slice/iter/macros.rs:180`	no_witness	2	1
#937	`lib.rs:63`	no_witness	3	1
#938	`library/alloc/src/vec/spec_from_iter_nested.rs:41`	unreached	3	0
#939	`library/alloc/src/alloc.rs:99`	full_mcdc	2	0
#940	`lib.rs:97`	no_witness	2	2
#941	`lib.rs:261`	partial	2	1
#942	`lib.rs:266`	no_witness	3	3
#943	`library/alloc/src/raw_vec/mod.rs:470`	partial	2	1
#944	`library/alloc/src/raw_vec/mod.rs:591`	no_witness	3	3
#945	`library/core/src/intrinsics/mod.rs:459`	no_witness	2	2
#946	`library/core/src/num/int_macros.rs:2765`	no_witness	2	1
#947	`library/core/src/num/int_macros.rs:2553`	no_witness	2	2
#948	`library/core/src/slice/index.rs:238`	no_witness	2	2
#949	`lib.rs:289`	no_witness	5	4
#950	`library/core/src/iter/adapters/mod.rs:164`	no_witness	2	2
#951	`library/alloc/src/raw_vec/mod.rs:878`	no_witness	2	2
#952	`lib.rs:266`	no_witness	2	2
#953	`library/alloc/src/alloc.rs:128`	no_witness	2	2
#954	`library/alloc/src/vec/mod.rs:1038`	no_witness	3	3
#955	`lib.rs:310`	no_witness	3	3
#956	`lib.rs:391`	unreached	2	0
#957	`lib.rs:96`	unreached	2	0
#958	`library/alloc/src/alloc.rs:99`	unreached	2	0
#959	`library/alloc/src/raw_vec/mod.rs:777`	no_witness	2	2
#960	`library/alloc/src/raw_vec/mod.rs:635`	no_witness	2	1
#961	`library/alloc/src/raw_vec/mod.rs:565`	no_witness	3	3
#962	`library/alloc/src/raw_vec/mod.rs:478`	no_witness	2	2
#963	`library/core/src/cmp.rs:1916`	unreached	2	0
#964	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#965	`library/core/src/slice/index.rs:238`	no_witness	11	1
#966	`lib.rs:365`	no_witness	3	3
#967	`lib.rs:90`	unreached	3	0
#968	`lib.rs:207`	unreached	3	0
#969	`lib.rs:216`	unreached	3	0
#970	`library/alloc/src/alloc.rs:99`	unreached	2	0
#971	`library/alloc/src/raw_vec/mod.rs:436`	unreached	2	0
#972	`library/alloc/src/raw_vec/mod.rs:878`	unreached	2	0
#973	`library/alloc/src/raw_vec/mod.rs:436`	unreached	3	0
#974	`library/core/src/ptr/mod.rs:549`	unreached	2	0
#975	`library/core/src/slice/index.rs:238`	unreached	5	0
#976	`lib.rs:433`	partial	3	2
#977	`library/core/src/ptr/mod.rs:549`	partial	2	1
#978	`library/core/src/slice/index.rs:238`	no_witness	3	3
#979	`lib.rs:90`	no_witness	2	2
#980	`library/alloc/src/raw_vec/mod.rs:461`	no_witness	2	2
#981	`library/alloc/src/alloc.rs:99`	no_witness	2	2
#982	`library/alloc/src/raw_vec/mod.rs:878`	no_witness	2	2
#983	`library/alloc/src/raw_vec/mod.rs:470`	no_witness	3	3
#984	`lib.rs:64`	partial	2	0
#985	`lib.rs:451`	partial	2	1
#986	`lib.rs:64`	no_witness	3	3
#987	`lib.rs:456`	partial	2	1
#988	`library/alloc/src/raw_vec/mod.rs:443`	no_witness	2	2
#989	`library/core/src/cmp.rs:1916`	partial	2	1
#990	`library/core/src/slice/index.rs:238`	full_mcdc	2	0
#991	`lib.rs:85`	no_witness	4	4
#992	`lib.rs:232`	full_mcdc	2	0
#993	`library/core/src/slice/index.rs:238`	no_witness	6	6
#994	`lib.rs:112`	unreached	3	0
#995	`lib.rs:248`	unreached	3	0
#996	`lib.rs:85`	unreached	4	0
#997	`library/alloc/src/alloc.rs:99`	no_witness	2	1
#998	`library/alloc/src/raw_vec/mod.rs:436`	no_witness	2	1
#999	`library/alloc/src/raw_vec/mod.rs:878`	full_mcdc	2	0
#1000	`library/alloc/src/vec/mod.rs:3676`	unreached	2	0
#1001	`library/core/src/cmp.rs:1077`	full_mcdc	2	0
#1002	`library/core/src/iter/range.rs:900`	no_witness	9	3
#1003	`library/core/src/ptr/mod.rs:1939`	unreached	2	0
#1004	`library/core/src/ptr/mut_ptr.rs:970`	no_witness	4	2
#1005	`library/core/src/slice/index.rs:238`	unreached	4	0
#1006	`library/alloc/src/raw_vec/mod.rs:436`	no_witness	2	2
#1007	`library/core/src/iter/range.rs:900`	partial	4	3
#1008	`library/core/src/ptr/mod.rs:1939`	partial	2	1
#1009	`library/core/src/ptr/mut_ptr.rs:970`	no_witness	4	4
#1010	`lib.rs:295`	no_witness	6	6
#1011	`library/core/src/iter/range.rs:900`	partial	2	1
#1012	`library/core/src/ptr/mut_ptr.rs:970`	no_witness	2	2
#1013	`lib.rs:592`	no_witness	2	2
#1014	`lib.rs:85`	no_witness	2	2
#1015	`lib.rs:544`	no_witness	2	2
#1016	`library/alloc/src/raw_vec/mod.rs:635`	no_witness	2	2
#1017	`library/core/src/iter/adapters/zip.rs:300`	partial	2	1
#1018	`library/core/src/slice/index.rs:238`	partial	3	2
#1019	`lib.rs:90`	no_witness	2	2
#1020	`lib.rs:548`	unreached	2	0
#1021	`library/core/src/ptr/mod.rs:1939`	no_witness	3	3
#1022	`library/core/src/slice/index.rs:238`	no_witness	2	1
#1023	`binary_reader.rs:77`	partial	2	1
#1024	`library/core/src/ptr/mod.rs:549`	no_witness	2	2
#1025	`binary_reader.rs:517`	no_witness	5	4
#1026	`library/core/src/slice/index.rs:413`	no_witness	2	2
#1027	`binary_reader.rs:517`	no_witness	2	1
#1028	`binary_reader.rs:94`	partial	2	1
#1029	`binary_reader.rs:369`	no_witness	2	2
#1030	`library/core/src/num/uint_macros.rs:1052`	partial	2	1
#1031	`library/core/src/result.rs:2192`	no_witness	3	3
#1032	`library/core/src/slice/index.rs:413`	no_witness	5	5
#1033	`binary_reader.rs:518`	unreached	2	0
#1034	`binary_reader.rs:270`	unreached	2	0
#1035	`binary_reader.rs:518`	unreached	2	0
#1036	`binary_reader.rs:94`	unreached	2	0
#1037	`binary_reader.rs:518`	unreached	2	0
#1038	`binary_reader.rs:94`	unreached	2	0
#1039	`binary_reader.rs:517`	no_witness	3	3
#1040	`binary_reader.rs:519`	unreached	4	0
#1041	`binary_reader.rs:443`	no_witness	6	6
#1042	`binary_reader.rs:521`	no_witness	2	2
#1043	`binary_reader.rs:420`	no_witness	2	2
#1044	`library/core/src/slice/index.rs:413`	no_witness	2	2
#1045	`binary_reader.rs:270`	no_witness	4	4
#1046	`binary_reader.rs:420`	no_witness	3	3
#1047	`binary_reader.rs:93`	no_witness	2	2
#1048	`imports.rs:182`	unreached	2	0
#1049	`library/core/src/result.rs:2177`	unreached	4	0
#1050	`library/core/src/slice/index.rs:184`	no_witness	2	2
#1051	`binary_reader.rs:285`	no_witness	2	2
#1052	`imports.rs:182`	no_witness	5	5
#1053	`binary_reader.rs:420`	no_witness	3	3
#1054	`binary_reader.rs:519`	no_witness	5	5
#1055	`binary_reader.rs:424`	unreached	2	0
#1056	`binary_reader.rs:94`	unreached	2	0
#1057	`elements.rs:125`	unreached	3	0
#1058	`library/core/src/cmp.rs:1916`	unreached	2	0
#1059	`library/core/src/result.rs:2176`	unreached	4	0
#1060	`operators.rs:578`	unreached	2	0
#1061	`binary_reader.rs:315`	unreached	2	0
#1062	`operators.rs:406`	unreached	6	0
#1063	`binary_reader.rs:915`	no_witness	17	13
#1064	`binary_reader.rs:1009`	no_witness	6	5
#1065	`binary_reader.rs:1015`	no_witness	4	4
#1066	`binary_reader.rs:1026`	unreached	4	0
#1067	`library/core/src/result.rs:2176`	unreached	2	0
#1068	`binary_reader.rs:1059`	no_witness	2	2
#1069	`binary_reader.rs:1165`	no_witness	3	1
#1070	`binary_reader.rs:285`	unreached	2	0
#1071	`binary_reader.rs:1175`	unreached	2	0
#1072	`binary_reader.rs:1193`	unreached	2	0
#1073	`binary_reader.rs:919`	unreached	7	0
#1074	`binary_reader.rs:1001`	unreached	5	0
#1075	`binary_reader.rs:1013`	no_witness	8	1
#1076	`binary_reader.rs:1026`	no_witness	5	3
#1077	`binary_reader.rs:1175`	unreached	6	0
#1078	`binary_reader.rs:1188`	no_witness	5	3
#1079	`binary_reader.rs:2054`	unreached	2	0
#1080	`binary_reader.rs:2063`	unreached	2	0
#1081	`binary_reader.rs:2013`	unreached	2	0
#1082	`lib.rs:1301`	unreached	4	0
#1083	`library/core/src/result.rs:2176`	unreached	18	0
#1084	`library/core/src/result.rs:2192`	unreached	2	0
#1085	`library/core/src/result.rs:2176`	unreached	3	0
#1086	`library/core/src/result.rs:2192`	unreached	2	0
#1087	`library/core/src/result.rs:2176`	no_witness	11	3
#1088	`library/core/src/result.rs:2192`	no_witness	19	1
#1089	`library/core/src/result.rs:2176`	unreached	2	0
#1090	`operators.rs:978`	no_witness	16	3
#1091	`binary_reader.rs:1217`	unreached	4	0
#1092	`library/core/src/result.rs:2176`	unreached	5	0
#1093	`binary_reader.rs:1219`	no_witness	4	3
#1094	`binary_reader.rs:1232`	no_witness	2	2
#1095	`library/core/src/result.rs:2177`	no_witness	2	2
#1096	`operators.rs:978`	no_witness	3	1
#1097	`binary_reader.rs:1247`	no_witness	5	4
#1098	`binary_reader.rs:1260`	unreached	5	0
#1099	`binary_reader.rs:1278`	no_witness	3	1
#1100	`binary_reader.rs:1291`	unreached	2	0
#1101	`library/core/src/result.rs:2192`	no_witness	3	2
#1102	`binary_reader.rs:1311`	unreached	2	0
#1103	`binary_reader.rs:1322`	unreached	2	0
#1104	`binary_reader.rs:1335`	unreached	2	0
#1105	`binary_reader.rs:1348`	unreached	2	0
#1106	`binary_reader.rs:1366`	unreached	3	0
#1107	`binary_reader.rs:1376`	unreached	3	0
#1108	`binary_reader.rs:1390`	unreached	2	0
#1109	`binary_reader.rs:1410`	unreached	3	0
#1110	`binary_reader.rs:1434`	unreached	3	0
#1111	`binary_reader.rs:443`	unreached	3	0
#1112	`binary_reader.rs:443`	unreached	2	0
#1113	`binary_reader.rs:444`	unreached	2	0
#1114	`lib.rs:1301`	unreached	9	0
#1115	`library/core/src/result.rs:2176`	unreached	3	0
#1116	`library/core/src/result.rs:2177`	unreached	6	0
#1117	`library/core/src/result.rs:2192`	unreached	15	0
#1118	`library/core/src/slice/index.rs:184`	unreached	3	0
#1119	`binary_reader.rs:1455`	unreached	3	0
#1120	`binary_reader.rs:93`	unreached	2	0
#1121	`binary_reader.rs:447`	unreached	2	0
#1122	`binary_reader.rs:1831`	unreached	15	0
#1123	`binary_reader.rs:1842`	unreached	17	0
#1124	`library/core/src/result.rs:2176`	unreached	11	0
#1125	`binary_reader.rs:1853`	unreached	13	0
#1126	`binary_reader.rs:1864`	unreached	22	0
#1127	`binary_reader.rs:1875`	unreached	28	0
#1128	`binary_reader.rs:1886`	unreached	10	0
#1129	`binary_reader.rs:1898`	unreached	12	0
#1130	`binary_reader.rs:1836`	unreached	2	0
#1131	`binary_reader.rs:1907`	unreached	9	0
#1132	`binary_reader.rs:1919`	unreached	10	0
#1133	`binary_reader.rs:1930`	unreached	8	0
#1134	`binary_reader.rs:1941`	unreached	5	0
#1135	`binary_reader.rs:1952`	unreached	7	0
#1136	`binary_reader.rs:1963`	unreached	8	0
#1137	`binary_reader.rs:1976`	unreached	7	0
#1138	`binary_reader.rs:1987`	unreached	10	0
#1139	`binary_reader.rs:2003`	unreached	2	0
#1140	`binary_reader.rs:761`	unreached	3	0
#1141	`lib.rs:1301`	unreached	3	0
#1142	`library/core/src/result.rs:2176`	unreached	51	0
#1143	`library/core/src/result.rs:2192`	unreached	2	0
#1144	`library/core/src/result.rs:2192`	unreached	2	0
#1145	`library/core/src/result.rs:2192`	unreached	5	0
#1146	`library/core/src/result.rs:2192`	unreached	4	0
#1147	`library/core/src/result.rs:2192`	unreached	45	0
#1148	`binary_reader.rs:93`	no_witness	2	2
#1149	`binary_reader.rs:443`	no_witness	2	2
#1150	`binary_reader.rs:560`	no_witness	2	2
#1151	`library/core/src/slice/index.rs:184`	no_witness	2	2
#1152	`binary_reader.rs:641`	unreached	2	0
#1153	`binary_reader.rs:420`	no_witness	2	2
#1154	`types.rs:1271`	unreached	3	0
#1155	`types.rs:1291`	no_witness	4	2
#1156	`binary_reader.rs:2047`	unreached	2	0
#1157	`binary_reader.rs:842`	unreached	2	0
#1158	`binary_reader.rs:838`	unreached	3	0
#1159	`types.rs:2216`	unreached	2	0
#1160	`binary_reader.rs:447`	partial	2	1
#1161	`binary_reader.rs:444`	no_witness	2	2
#1162	`library/alloc/src/vec/mod.rs:4037`	unreached	2	0
#1163	`library/core/src/result.rs:2192`	unreached	2	0
#1164	`binary_reader.rs:842`	unreached	2	0
#1165	`binary_reader.rs:716`	unreached	2	0
#1166	`binary_reader.rs:443`	unreached	2	0
#1167	`binary_reader.rs:447`	unreached	2	0
#1168	`library/alloc/src/alloc.rs:128`	unreached	2	0
#1169	`library/core/src/iter/adapters/mod.rs:195`	unreached	3	0
#1170	`binary_reader.rs:447`	unreached	2	0
#1171	`binary_reader.rs:420`	unreached	2	0
#1172	`binary_reader.rs:93`	unreached	2	0
#1173	`binary_reader.rs:444`	unreached	2	0
#1174	`binary_reader.rs:455`	unreached	2	0
#1175	`library/core/src/slice/index.rs:184`	unreached	2	0
#1176	`parser.rs:1265`	unreached	2	0
#1177	`binary_reader.rs:93`	unreached	2	0
#1178	`parser.rs:1231`	unreached	2	0
#1179	`binary_reader.rs:455`	unreached	2	0
#1180	`parser.rs:1244`	unreached	3	0
#1181	`binary_reader.rs:443`	unreached	2	0
#1182	`binary_reader.rs:421`	unreached	2	0
#1183	`binary_reader.rs:93`	unreached	2	0
#1184	`binary_reader.rs:443`	unreached	2	0
#1185	`parser.rs:1237`	unreached	3	0
#1186	`binary_reader.rs:443`	unreached	3	0
#1187	`binary_reader.rs:443`	unreached	3	0
#1188	`binary_reader.rs:443`	unreached	3	0
#1189	`binary_reader.rs:443`	unreached	3	0
#1190	`binary_reader.rs:443`	unreached	3	0
#1191	`binary_reader.rs:443`	unreached	3	0
#1192	`library/core/src/result.rs:2176`	unreached	2	0
#1193	`parser.rs:1231`	no_witness	2	1
#1194	`parser.rs:1293`	unreached	3	0
#1195	`binary_reader.rs:838`	no_witness	2	1
#1196	`library/core/src/iter/adapters/mod.rs:195`	no_witness	2	1
#1197	`binary_reader.rs:838`	unreached	2	0
#1198	`library/core/src/iter/traits/iterator.rs:2556`	no_witness	2	2
#1199	`library/alloc/src/vec/spec_from_iter_nested.rs:43`	unreached	2	0
#1200	`library/alloc/src/alloc.rs:155`	unreached	2	0
#1201	`binary_reader.rs:679`	no_witness	2	2
#1202	`binary_reader.rs:93`	unreached	2	0
#1203	`binary_reader.rs:232`	unreached	2	0
#1204	`parser.rs:690`	unreached	2	0
#1205	`parser.rs:695`	unreached	2	0
#1206	`lib.rs:1301`	unreached	2	0
#1207	`binary_reader.rs:232`	unreached	2	0
#1208	`binary_reader.rs:270`	no_witness	3	3
#1209	`parser.rs:723`	no_witness	2	1
#1210	`library/core/src/result.rs:2192`	unreached	2	0
#1211	`parser.rs:739`	unreached	2	0
#1212	`parser.rs:753`	unreached	2	0
#1213	`binary_reader.rs:232`	no_witness	3	3
#1214	`binary_reader.rs:232`	no_witness	2	2
#1215	`binary_reader.rs:443`	no_witness	2	2
#1216	`binary_reader.rs:457`	unreached	2	0
#1217	`binary_reader.rs:123`	unreached	2	0
#1218	`binary_reader.rs:444`	unreached	2	0
#1219	`binary_reader.rs:457`	unreached	2	0
#1220	`binary_reader.rs:424`	unreached	3	0
#1221	`lib.rs:1301`	no_witness	3	3
#1222	`library/core/src/fmt/builders.rs:787`	no_witness	4	4
#1223	`library/core/src/fmt/mod.rs:2872`	no_witness	2	1
#1224	`library/core/src/ptr/mod.rs:549`	no_witness	2	2
#1225	`library/core/src/result.rs:2192`	no_witness	4	2
#1226	`library/core/src/result.rs:2176`	partial	3	1
#1227	`library/core/src/result.rs:2192`	no_witness	2	1
#1228	`library/core/src/slice/index.rs:413`	no_witness	2	2
#1229	`parser.rs:773`	no_witness	4	4
#1230	`parser.rs:780`	no_witness	5	5
#1231	`parser.rs:796`	no_witness	3	2
#1232	`parser.rs:804`	no_witness	6	4
#1233	`parser.rs:821`	no_witness	3	2
#1234	`parser.rs:939`	no_witness	4	3
#1235	`parser.rs:1194`	unreached	2	0
#1236	`parser.rs:1208`	no_witness	2	2
#1237	`parser.rs:402`	no_witness	2	2
#1238	`parser.rs:659`	no_witness	2	2
#1239	`parser.rs:638`	no_witness	2	1
#1240	`binary_reader.rs:443`	unreached	2	0
#1241	`binary_reader.rs:424`	unreached	2	0
#1242	`binary_reader.rs:285`	unreached	2	0
#1243	`library/alloc/src/alloc.rs:99`	no_witness	2	2
#1244	`library/alloc/src/raw_vec/mod.rs:470`	no_witness	2	1
#1245	`binary_reader.rs:83`	unreached	2	0
#1246	`library/core/src/result.rs:2192`	no_witness	3	1
#1247	`binary_reader.rs:562`	no_witness	2	2
#1248	`binary_reader.rs:93`	unreached	3	0
#1249	`binary_reader.rs:93`	no_witness	2	1
#1250	`binary_reader.rs:93`	no_witness	2	2
#1251	`binary_reader.rs:606`	unreached	4	0
#1252	`binary_reader.rs:492`	no_witness	2	2
#1253	`library/core/src/slice/index.rs:184`	no_witness	3	1
#1254	`binary_reader.rs:420`	no_witness	2	2
#1255	`library/core/src/iter/adapters/map.rs:69`	no_witness	5	5
#1256	`types.rs:373`	partial	3	2
#1257	`library/alloc/src/raw_vec/mod.rs:493`	no_witness	2	1
#1258	`library/alloc/src/raw_vec/mod.rs:470`	unreached	2	0
#1259	`library/core/src/result.rs:2178`	no_witness	2	1
#1260	`binary_reader.rs:93`	no_witness	2	2
#1261	`binary_reader.rs:444`	unreached	2	0
#1262	`binary_reader.rs:337`	partial	2	1
#1263	`library/core/src/iter/adapters/mod.rs:164`	no_witness	2	2
#1264	`types.rs:2208`	partial	3	2
#1265	`types.rs:2211`	unreached	2	0
#1266	`binary_reader.rs:444`	unreached	2	0
#1267	`binary_reader.rs:93`	no_witness	2	1
#1268	`binary_reader.rs:447`	unreached	2	0
#1269	`binary_reader.rs:443`	unreached	2	0
#1270	`tables.rs:56`	unreached	2	0
#1271	`tags.rs:22`	no_witness	2	1
#1272	`binary_reader.rs:420`	no_witness	3	2
#1273	`exports.rs:52`	no_witness	3	1
#1274	`library/core/src/result.rs:2192`	no_witness	4	4
#1275	`tables.rs:76`	no_witness	2	1
#1276	`binary_reader.rs:300`	unreached	3	0
#1277	`exports.rs:74`	unreached	2	0
#1278	`globals.rs:39`	no_witness	2	2
#1279	`globals.rs:50`	no_witness	2	2
#1280	`binary_reader.rs:94`	no_witness	2	2
#1281	`imports.rs:108`	no_witness	2	1
#1282	`binary_reader.rs:285`	no_witness	2	2
#1283	`imports.rs:131`	no_witness	3	3
#1284	`imports.rs:140`	no_witness	4	4
#1285	`library/core/src/result.rs:2177`	no_witness	4	4
#1286	`binary_reader.rs:232`	unreached	2	0
#1287	`elements.rs:145`	unreached	6	0
#1288	`library/core/src/result.rs:965`	unreached	2	0
#1289	`library/core/src/result.rs:2177`	unreached	2	0
#1290	`readers.rs:102`	unreached	3	0
#1291	`types.rs:1813`	unreached	3	0
#1292	`types.rs:1276`	unreached	2	0
#1293	`binary_reader.rs:484`	unreached	2	0
#1294	`binary_reader.rs:93`	no_witness	2	1
#1295	`binary_reader.rs:420`	unreached	2	0
#1296	`library/core/src/result.rs:2192`	no_witness	6	4
#1297	`memories.rs:46`	no_witness	2	1
#1298	`memories.rs:35`	unreached	2	0
#1299	`binary_reader.rs:444`	unreached	3	0
#1300	`library/core/src/slice/index.rs:184`	no_witness	3	2
#1301	`names.rs:144`	no_witness	2	2
#1302	`readers.rs:104`	unreached	3	0
#1303	`binary_reader.rs:444`	no_witness	2	2
#1304	`binary_reader.rs:93`	no_witness	2	1
#1305	`binary_reader.rs:93`	unreached	2	0
#1306	`binary_reader.rs:447`	unreached	2	0
#1307	`library/core/src/result.rs:2176`	no_witness	2	2
#1308	`names.rs:148`	no_witness	2	1
#1309	`readers.rs:102`	no_witness	3	1
#1310	`binary_reader.rs:420`	no_witness	2	1
#1311	`binary_reader.rs:444`	no_witness	6	2
#1312	`init.rs:51`	unreached	2	0
#1313	`library/alloc/src/raw_vec/mod.rs:635`	unreached	4	0
#1314	`library/core/src/fmt/mod.rs:2132`	unreached	3	0
#1315	`library/core/src/fmt/mod.rs:2872`	unreached	2	0
#1316	`library/core/src/iter/traits/collect.rs:323`	unreached	2	0
#1317	`library/core/src/result.rs:2176`	unreached	3	0
#1318	`library/core/src/result.rs:2192`	unreached	4	0
#1319	`library/core/src/slice/index.rs:184`	no_witness	3	1
#1320	`names.rs:152`	no_witness	4	1
#1321	`readers.rs:102`	no_witness	4	2
#1322	`types.rs:1656`	no_witness	2	2
#1323	`types.rs:1669`	no_witness	2	2
#1324	`types.rs:1038`	no_witness	2	1
#1325	`types.rs:1050`	unreached	2	0
#1326	`types.rs:867`	unreached	2	0
#1327	`types.rs:2159`	unreached	2	0
#1328	`types.rs:2194`	unreached	3	0
#1329	`operators.rs:203`	unreached	3	0
#1330	`imports.rs:275`	unreached	2	0
#1331	`imports.rs:275`	unreached	2	0
#1332	`imports.rs:281`	unreached	5	0
#1333	`imports.rs:294`	unreached	2	0
#1334	`library/core/src/option.rs:2873`	no_witness	3	2
#1335	`readers.rs:237`	no_witness	3	3
#1336	`readers.rs:200`	unreached	2	0
#1337	`library/core/src/result.rs:2177`	partial	2	1
#1338	`types.rs:1896`	unreached	3	0
#1339	`types.rs:2135`	unreached	2	0
#1340	`library/alloc/src/vec/mod.rs:1035`	unreached	2	0
#1341	`library/core/src/fmt/num.rs:91`	unreached	2	0
#1342	`library/alloc/src/vec/mod.rs:4322`	no_witness	2	1
#1343	`library/core/src/fmt/builders.rs:787`	no_witness	3	2
#1344	`library/core/src/fmt/mod.rs:3130`	no_witness	2	2
#1345	`library/core/src/num/uint_macros.rs:2612`	unreached	4	0
#1346	`library/core/src/result.rs:1721`	unreached	2	0
#1347	`soft.rs:211`	no_witness	2	1
#1348	`soft.rs:82`	unreached	5	0
#1349	`library/core/src/num/uint_macros.rs:2612`	unreached	2	0
#1350	`rt.rs:44`	unreached	2	0
#1351	`backtrace.rs:25`	unreached	3	0
#1352	`alloc.rs:450`	unreached	2	0
#1353	`panicking.rs:316`	unreached	2	0
#1354	`mod.rs:2130`	unreached	3	0
#1355	`unix.rs:53`	unreached	2	0
#1356	`unix.rs:83`	unreached	2	0
#1357	`wasi.rs:79`	no_witness	2	2
#1358	`result.rs:1231`	unreached	2	0
#1359	`wasi.rs:77`	no_witness	2	2
#1360	`mod.rs:615`	unreached	3	0
#1361	`mod.rs:618`	unreached	2	0
#1362	`result.rs:2192`	unreached	2	0
#1363	`uint_macros.rs:1052`	unreached	2	0
#1364	`mod.rs:1685`	unreached	2	0
#1365	`option.rs:592`	unreached	2	0
#1366	`panicking.rs:660`	unreached	4	0
#1367	`result.rs:2192`	unreached	2	0
#1368	`unix.rs:77`	unreached	2	0
#1369	`error.rs:45`	unreached	2	0
#1370	`macros.rs:279`	unreached	3	0
#1371	`macros.rs:284`	unreached	2	0
#1372	`mod.rs:1469`	unreached	2	0
#1373	`mod.rs:674`	unreached	2	0
#1374	`methods.rs:2533`	unreached	3	0
#1375	`mod.rs:2132`	unreached	2	0
#1376	`mod.rs:967`	unreached	4	0
#1377	`num.rs:91`	unreached	3	0
#1378	`panicking.rs:638`	unreached	3	0
#1379	`methods.rs:2539`	unreached	2	0
#1380	`methods.rs:2527`	unreached	2	0
#1381	`methods.rs:2538`	unreached	2	0
#1382	`mod.rs:615`	unreached	4	0
#1383	`write.c:16`	unreached	3	0
#1384	`writev.c:34`	unreached	2	0
#1385	`__wasilibc_initialize_environ.c:20`	unreached	2	0
#1386	`__wasilibc_initialize_environ.c:59`	unreached	2	0
#1387	`getcwd.c:20`	unreached	2	0
#1388	`getenv.c:16`	unreached	3	0
#1389	`strchrnul.c:65`	unreached	2	0
#1390	`stpcpy.c:17`	unreached	3	0
#1391	`stpcpy.c:20`	unreached	3	0
#1392	`strerror_r.c:9`	unreached	2	0
#1393	`strncmp.c:7`	unreached	3	0
#1394	`sbrk.c:11`	unreached	2	0
#1395	`malloc.c:3921`	unreached	2	0
#1396	`malloc.c:4616`	unreached	6	0
#1397	`malloc.c:4644`	unreached	3	0
#1398	`malloc.c:4646`	unreached	4	0
#1399	`malloc.c:4531`	unreached	3	0
#1400	`malloc.c:4545`	partial	3	1
#1401	`malloc.c:4545`	unreached	4	0
#1402	`malloc.c:4659`	unreached	3	0
#1403	`malloc.c:4458`	unreached	7	0
#1404	`malloc.c:4471`	unreached	2	0
#1405	`malloc.c:4483`	unreached	2	0
#1406	`malloc.c:4492`	unreached	4	0
#1407	`malloc.c:4507`	unreached	5	0
#1408	`malloc.c:4669`	unreached	3	0
#1409	`malloc.c:4690`	unreached	2	0
#1410	`malloc.c:3152`	unreached	2	0
#1411	`malloc.c:4068`	unreached	4	0
#1412	`malloc.c:4102`	unreached	3	0
#1413	`malloc.c:2709`	unreached	2	0
#1414	`malloc.c:4113`	unreached	2	0
#1415	`malloc.c:4116`	unreached	3	0
#1416	`malloc.c:4127`	unreached	3	0
#1417	`malloc.c:4140`	unreached	4	0
#1418	`malloc.c:4177`	no_witness	2	2
#1419	`malloc.c:3905`	no_witness	2	2
#1420	`malloc.c:4233`	no_witness	2	2
#1421	`malloc.c:4008`	no_witness	2	2
#1422	`malloc.c:4028`	no_witness	14	14
#1423	`malloc.c:4249`	no_witness	3	3
#1424	`malloc.c:4507`	no_witness	16	9
#1425	`malloc.c:4545`	unreached	19	0
#1426	`malloc.c:3951`	unreached	5	0
#1427	`malloc.c:3964`	unreached	10	0
#1428	`malloc.c:3978`	unreached	9	0
#1429	`malloc.c:4749`	no_witness	6	1
#1430	`malloc.c:4763`	no_witness	5	4
#1431	`malloc.c:4779`	no_witness	4	4
#1432	`malloc.c:4786`	no_witness	4	4
#1433	`malloc.c:4798`	no_witness	4	4
#1434	`malloc.c:4803`	no_witness	3	3
#1435	`dlmalloc.c:80`	unreached	2	0
#1436	`malloc.c:4854`	unreached	5	0
#1437	`malloc.c:4869`	unreached	4	0
#1438	`malloc.c:4881`	unreached	3	0
#1439	`malloc.c:4899`	unreached	5	0
#1440	`dlmalloc.c:80`	partial	2	1
#1441	`malloc.c:4900`	no_witness	5	5
#1442	`malloc.c:5302`	no_witness	2	2
#1443	`malloc.c:4384`	no_witness	3	3
#1444	`malloc.c:4398`	no_witness	14	14
#1445	`malloc.c:4414`	full_mcdc	2	0
#1446	`malloc.c:4424`	no_witness	10	10
#1447	`malloc.c:4432`	no_witness	5	5
#1448	`malloc.c:4443`	partial	3	1
#1449	`malloc.c:4443`	no_witness	5	5
#1450	`dlmalloc.c:83`	no_witness	3	1
#1451	`malloc.c:5358`	no_witness	2	1
#1452	`malloc.c:4921`	partial	2	1
#1453	`malloc.c:4952`	full_mcdc	2	0
#1454	`malloc.c:4976`	no_witness	4	3
#1455	`mod.rs:893`	no_witness	2	2
#1456	`mod.rs:565`	no_witness	2	1
#1457	`alloc.rs:99`	no_witness	3	1
#1458	`c_str.rs:349`	no_witness	2	1
#1459	`fmt.rs:650`	unreached	2	0
#1460	`memchr.rs:39`	no_witness	5	2
#1461	`methods.rs:2533`	unreached	2	0
#1462	`methods.rs:2545`	unreached	2	0
#1463	`mod.rs:28`	unreached	2	0
#1464	`mod.rs:770`	unreached	3	0
#1465	`mod.rs:786`	unreached	3	0
#1466	`panicking.rs:421`	unreached	2	0
#1467	`panicking.rs:434`	no_witness	6	1
#1468	`maybe_uninit.rs:575`	unreached	2	0
#1469	`mod.rs:1677`	no_witness	2	1
#1470	`result.rs:2176`	no_witness	2	2
#1471	`mod.rs:1712`	unreached	2	0
#1472	`rt.rs:152`	unreached	2	0
#1473	`index.rs:39`	no_witness	2	2
#1474	`panic.rs:172`	full_mcdc	2	0
#1475	`panic.rs:185`	partial	2	1
#1476	`panic.rs:172`	no_witness	2	2
#1477	`methods.rs:479`	no_witness	3	3
#1478	`mod.rs:320`	no_witness	3	1
#1479	`escape.rs:147`	no_witness	2	2
#1480	`escape.rs:148`	unreached	4	0
#1481	`escape.rs:229`	unreached	2	0
#1482	`validations.rs:145`	unreached	5	0
#1483	`validations.rs:164`	unreached	3	0
#1484	`methods.rs:1219`	partial	2	1
#1485	`unicode_data.rs:478`	full_mcdc	2	0
#1486	`mod.rs:2992`	no_witness	6	6
#1487	`unicode_data.rs:79`	partial	2	1
#1488	`unicode_data.rs:140`	no_witness	2	2
#1489	`unicode_data.rs:921`	no_witness	3	2
#1490	`unicode_data.rs:79`	partial	2	1
#1491	`builders.rs:31`	unreached	3	0
#1492	`range.rs:900`	unreached	2	0
#1493	`uint_macros.rs:1052`	unreached	2	0
#1494	`unicode_data.rs:79`	unreached	6	0
#1495	`unicode_data.rs:138`	unreached	3	0
#1496	`builders.rs:33`	partial	3	0
#1497	`builders.rs:132`	unreached	2	0
#1498	`builders.rs:146`	unreached	2	0
#1499	`builders.rs:133`	unreached	2	0
#1500	`builders.rs:244`	full_mcdc	2	0
#1501	`mod.rs:2100`	unreached	8	0
#1502	`mod.rs:1769`	unreached	2	0
#1503	`result.rs:2176`	no_witness	2	1
#1504	`mod.rs:2100`	unreached	5	0
#1505	`memchr.rs:39`	unreached	2	0
#1506	`builders.rs:864`	unreached	2	0
#1507	`accum.rs:55`	unreached	2	0
#1508	`count.rs:28`	unreached	2	0
#1509	`mod.rs:1963`	unreached	2	0
#1510	`accum.rs:55`	unreached	2	0
#1511	`macros.rs:279`	unreached	6	0
#1512	`mod.rs:1858`	unreached	3	0
#1513	`result.rs:2176`	unreached	4	0
#1514	`count.rs:117`	no_witness	2	2
#1515	`count.rs:85`	no_witness	2	2
#1516	`count.rs:117`	unreached	3	0
#1517	`macros.rs:279`	unreached	3	0
#1518	`mod.rs:2100`	unreached	6	0
#1519	`mod.rs:1769`	unreached	3	0
#1520	`mod.rs:2100`	unreached	4	0
#1521	`option.rs:1722`	unreached	2	0
#1522	`builders.rs:245`	unreached	2	0
#1523	`mod.rs:2100`	unreached	4	0
#1524	`builders.rs:245`	no_witness	3	1
#1525	`macros.rs:279`	no_witness	6	2
#1526	`mod.rs:2100`	unreached	3	0
#1527	`mod.rs:2528`	partial	2	1
#1528	`mod.rs:2100`	unreached	2	0
#1529	`cmp.rs:1916`	unreached	2	0
#1530	`mod.rs:1934`	unreached	3	0
#1531	`pattern.rs:1663`	unreached	8	0
#1532	`result.rs:2176`	unreached	3	0
#1533	`macros.rs:279`	unreached	2	0
#1534	`pattern.rs:1711`	unreached	5	0
#1535	`pattern.rs:1717`	no_witness	3	3
#1536	`macros.rs:284`	unreached	2	0
#1537	`num.rs:213`	unreached	2	0
#1538	`mod.rs:70`	unreached	2	0
#1539	`mod.rs:439`	no_witness	3	1
#1540	`mod.rs:481`	unreached	3	0
#1541	`mod.rs:94`	unreached	5	0
#1542	`mod.rs:108`	unreached	3	0
#1543	`mod.rs:128`	unreached	3	0
#1544	`mod.rs:2130`	unreached	2	0
#1545	`mod.rs:2975`	unreached	3	0
#1546	`num.rs:41`	unreached	3	0
#1547	`num.rs:41`	unreached	4	0
#1548	`validations.rs:50`	unreached	2	0
#1549	`memchr.rs:51`	partial	2	0
#1550	`memchr.rs:40`	full_mcdc	2	0
#1551	`maybe_uninit.rs:575`	unreached	4	0
#1552	`memchr.rs:39`	unreached	5	0
#1553	`num.rs:229`	unreached	3	0
#1554	`num.rs:248`	unreached	2	0
#1555	`num.rs:49`	unreached	2	0
#1556	`num.rs:156`	unreached	2	0
#1557	`num.rs:209`	unreached	3	0
#1558	`num.rs:198`	unreached	2	0
#1559	`num.rs:230`	unreached	4	0
#1560	`num.rs:164`	unreached	2	0
#1561	`maybe_uninit.rs:575`	unreached	2	0
#1562	`num.rs:248`	unreached	2	0
#1563	`num.rs:49`	unreached	2	0
#1564	`num.rs:41`	unreached	4	0
#1565	`num.rs:41`	unreached	2	0
#1566	`maybe_uninit.rs:575`	unreached	2	0
#1567	`num.rs:36`	unreached	8	0
#1568	`methods.rs:2534`	unreached	3	0
#1569	`mul.rs:83`	full_mcdc	2	0
#1570	`uint_macros.rs:2688`	partial	3	1
#1571	`trifecta.rs:27`	no_witness	2	2
#1572	`sdiv.rs:100`	unreached	3	0
#1573	`macros.rs:481`	no_witness	4	1
#1574	`macros.rs:481`	no_witness	6	5
#1575	`macros.rs:481`	no_witness	12	2
#1576	`macros.rs:481`	unreached	2	0
#1577	`macros.rs:481`	no_witness	2	2
#1578	`lib.rs:87`	partial	5	0
#1579	`lib.rs:232`	partial	4	0
#1580	`lib.rs:233`	partial	5	0
#1581	`lib.rs:234`	partial	8	0
#1582	`library/alloc/src/collections/btree/node.rs:290`	partial	6	0
#1583	`library/alloc/src/collections/btree/node.rs:558`	unreached	4	0
#1584	`library/alloc/src/collections/btree/node.rs:965`	partial	4	0
#1585	`library/alloc/src/collections/btree/node.rs:558`	unreached	3	0
#1586	`library/alloc/src/collections/btree/node.rs:1045`	unreached	3	0
#1587	`library/alloc/src/collections/btree/node.rs:1033`	unreached	3	0
#1588	`library/core/src/ptr/mod.rs:549`	unreached	3	0
#1589	`library/alloc/src/collections/btree/node.rs:1027`	unreached	3	0
#1590	`library/alloc/src/collections/btree/node.rs:1090`	unreached	3	0
#1591	`library/core/src/iter/adapters/map.rs:124`	partial	4	0
#1592	`library/core/src/ptr/mod.rs:1939`	unreached	3	0
#1593	`library/core/src/ptr/mod.rs:1939`	partial	3	0
#1594	`library/alloc/src/raw_vec/mod.rs:443`	unreached	5	0
#1595	`library/core/src/slice/iter/macros.rs:180`	partial	3	0
#1596	`library/alloc/src/collections/btree/node.rs:731`	partial	3	0
#1597	`library/core/src/slice/sort/stable/drift.rs:87`	partial	4	0
#1598	`lib.rs:1471`	partial	6	0
#1599	`lib.rs:7258`	partial	5	0
#1600	`src/lib.rs:413`	partial	9	0
#1601	`lib.rs:3481`	unreached	4	0
#1602	`library/alloc/src/vec/mod.rs:2946`	unreached	4	0
#1603	`library/alloc/src/vec/mod.rs:462`	partial	3	0
#1604	`library/alloc/src/raw_vec/mod.rs:615`	partial	3	0
#1605	`lib.rs:5047`	partial	4	0
#1606	`library/alloc/src/raw_vec/mod.rs:615`	partial	229	0
#1607	`library/core/src/slice/iter/macros.rs:180`	partial	7	0
#1608	`src/lib.rs:476`	partial	3	0
#1609	`lib.rs:2858`	unreached	5	0
#1610	`library/alloc/src/vec/mod.rs:1039`	unreached	5	0
#1611	`library/core/src/ptr/mod.rs:1731`	partial	3	0
#1612	`library/core/src/slice/iter/macros.rs:180`	unreached	5	0
#1613	`src/lib.rs:513`	partial	105	0
#1614	`src/lib.rs:614`	partial	3	0
#1615	`lib.rs:5217`	partial	3	0
#1616	`lib.rs:6021`	partial	6	0
#1617	`lib.rs:6821`	partial	5	0
#1618	`library/alloc/src/raw_vec/mod.rs:435`	partial	14	0
#1619	`library/alloc/src/raw_vec/mod.rs:615`	unreached	3	0
#1620	`library/alloc/src/vec/mod.rs:1044`	partial	7	0
#1621	`library/alloc/src/vec/set_len_on_drop.rs:19`	unreached	3	0
#1622	`library/core/src/ptr/mod.rs:1939`	partial	31	0
#1623	`library/core/src/slice/index.rs:195`	partial	4	0
#1624	`library/core/src/slice/iter/macros.rs:25`	partial	106	0
#1625	`library/alloc/src/vec/mod.rs:1035`	partial	4	0
#1626	`library/core/src/ptr/mod.rs:1939`	unreached	4	0
#1627	`lib.rs:1456`	partial	4	0
#1628	`lib.rs:8676`	partial	7	0
#1629	`lib.rs:8743`	partial	233	0
#1630	`library/alloc/src/raw_vec/mod.rs:435`	partial	13	0
#1631	`lib.rs:3114`	partial	3	0
#1632	`library/alloc/src/raw_vec/mod.rs:615`	partial	3	0
#1633	`library/core/src/ptr/mod.rs:1731`	partial	131	0
#1634	`lib.rs:3583`	unreached	4	0
#1635	`library/core/src/num/uint_macros.rs:1052`	partial	6	0
#1636	`library/alloc/src/collections/btree/navigate.rs:186`	partial	3	0
#1637	`library/core/src/num/mod.rs:1226`	partial	3	0
#1638	`library/core/src/str/mod.rs:395`	full_mcdc	3	0
#1639	`library/alloc/src/raw_vec/mod.rs:435`	partial	4	0
#1640	`library/core/src/ptr/mod.rs:1939`	unreached	4	0
#1641	`lib.rs:6256`	unreached	3	0
#1642	`lib.rs:1836`	partial	4	0
#1643	`lib.rs:1871`	unreached	4	0
#1644	`lib.rs:1956`	partial	4	0
#1645	`lib.rs:2157`	partial	5	0
#1646	`library/alloc/src/vec/mod.rs:1035`	partial	5	0
#1647	`library/core/src/mem/mod.rs:1227`	partial	4	0
#1648	`library/core/src/result.rs:2192`	partial	4	0
#1649	`library/core/src/slice/iter/macros.rs:180`	partial	5	0
#1650	`src/binary_reader.rs:232`	partial	4	0
#1651	`src/readers.rs:213`	partial	20	0
#1652	`src/readers.rs:324`	partial	18	0
#1653	`library/core/src/iter/adapters/zip.rs:316`	partial	3	0
#1654	`library/alloc/src/raw_vec/mod.rs:493`	unreached	4	0
#1655	`lib.rs:5164`	partial	4	0
#1656	`library/alloc/src/vec/mod.rs:1873`	partial	4	0
#1657	`library/alloc/src/raw_vec/mod.rs:436`	unreached	4	0
#1658	`library/alloc/src/vec/mod.rs:975`	unreached	4	0
#1659	`lib.rs:5827`	partial	5	0
#1660	`lib.rs:5907`	partial	3	0
#1661	`library/alloc/src/raw_vec/mod.rs:425`	partial	5	0
#1662	`library/alloc/src/vec/mod.rs:975`	unreached	5	0
#1663	`src/lib.rs:760`	partial	5	0
#1664	`src/lib.rs:777`	partial	7	0
#1665	`src/lib.rs:811`	unreached	3	0
#1666	`library/core/src/slice/index.rs:219`	partial	5	0
#1667	`src/readers/core/operators.rs:333`	partial	372	0
#1668	`lib.rs:306`	unreached	4	0
#1669	`lib.rs:314`	unreached	5	0
#1670	`lib.rs:110`	unreached	4	0
#1671	`lib.rs:81`	unreached	4	0
#1672	`library/core/src/slice/sort/unstable/quicksort.rs:30`	unreached	8	0
#1673	`operators.rs:589`	unreached	7	0
#1674	`binary_reader.rs:1110`	partial	256	0
#1675	`binary_reader.rs:1266`	partial	5	0
#1676	`binary_reader.rs:1320`	unreached	40	0
#1677	`lib.rs:1301`	unreached	24	0
#1678	`binary_reader.rs:1858`	unreached	116	0
#1679	`types.rs:1291`	partial	6	0
#1680	`library/alloc/src/alloc.rs:128`	unreached	4	0
#1681	`library/alloc/src/vec/mod.rs:4045`	unreached	15	0
#1682	`binary_reader.rs:94`	unreached	3	0
#1683	`binary_reader.rs:447`	partial	3	0
#1684	`library/alloc/src/raw_vec/mod.rs:635`	unreached	3	0
#1685	`library/core/src/iter/adapters/mod.rs:198`	unreached	3	0
#1686	`binary_reader.rs:449`	unreached	3	0
#1687	`binary_reader.rs:447`	unreached	5	0
#1688	`library/core/src/slice/index.rs:184`	unreached	5	0
#1689	`binary_reader.rs:455`	unreached	5	0
#1690	`lib.rs:1301`	unreached	3	0
#1691	`library/core/src/slice/index.rs:184`	unreached	4	0
#1692	`binary_reader.rs:472`	unreached	4	0
#1693	`library/alloc/src/raw_vec/mod.rs:443`	unreached	4	0
#1694	`library/alloc/src/raw_vec/mod.rs:565`	partial	4	0
#1695	`library/alloc/src/alloc.rs:128`	partial	3	0
#1696	`binary_reader.rs:791`	unreached	3	0
#1697	`lib.rs:1301`	unreached	5	0
#1698	`library/core/src/result.rs:2176`	unreached	3	0
#1699	`library/alloc/src/string.rs:1019`	partial	15	0
#1700	`library/core/src/result.rs:2192`	partial	14	0
#1701	`parser.rs:771`	partial	3	0
#1702	`names.rs:41`	partial	5	0
#1703	`library/core/src/result.rs:2192`	partial	3	0
#1704	`library/core/src/slice/index.rs:184`	unreached	3	0
#1705	`tables.rs:78`	partial	3	0
#1706	`elements.rs:79`	partial	34	0
#1707	`elements.rs:145`	unreached	3	0
#1708	`library/core/src/slice/index.rs:184`	partial	15	0
#1709	`names.rs:146`	partial	4	0
#1710	`names.rs:152`	partial	13	0
#1711	`operators.rs:198`	unreached	15	0
#1712	`types.rs:310`	unreached	4	0
#1713	`imports.rs:218`	unreached	7	0
#1714	`imports.rs:281`	unreached	4	0
#1715	`binary_reader.rs:733`	unreached	4	0
#1716	`binary_reader.rs:337`	unreached	6	0
#1717	`library/alloc/src/boxed.rs:1995`	unreached	3	0
#1718	`binary_reader.rs:123`	partial	15	0
#1719	`library/core/src/num/uint_macros.rs:703`	unreached	5	0
#1720	`library/core/src/num/uint_macros.rs:2612`	unreached	4	0
#1721	`library/core/src/num/uint_macros.rs:2612`	unreached	3	0
#1722	`panicking.rs:257`	unreached	4	0
#1723	`sync.rs:2144`	unreached	4	0
#1724	`wasi.rs:18`	unreached	4	0
#1725	`unix.rs:365`	unreached	5	0
#1726	`mod.rs:2992`	unreached	41	0
#1727	`builders.rs:38`	unreached	4	0
#1728	`builders.rs:158`	unreached	15	0
#1729	`builders.rs:162`	unreached	6	0
#1730	`c_str.rs:360`	unreached	28	0
#1731	`builders.rs:245`	unreached	5	0
#1732	`validations.rs:37`	unreached	5	0

← back to overview

Verdict scry-mcdc

Decisions

Verdict `scry-mcdc`