Decision #1243 — library/alloc/src/alloc.rs:99

Status: no_witness

Truth table

rowc0 br 8419c1 br 8420outcome
2676FFF
2677FFF
9633FFF
9634FFF
16454FFF
16455FFF
22297FFF
22298FFF
25037FFF
25038FFF
27683FFF
27684FFF
39091FFF
39092FFF
59943FFF
59944FFF
75477FFF
75478FFF
85360FFF
85361FFF
93630FFF
93631FFF
101471FFF
101472FFF
109955FFF
109956FFF
117974FFF
117975FFF
132448FFF
132449FFF
149167FFF
149168FFF
160185FFF
160186FFF
170043FFF
170044FFF
177291FFF
177292FFF
181808FFF
181809FFF
185124FFF
185125FFF
188235FFF
188236FFF
192301FFF
192302FFF
198320FFF
198321FFF
204155FFF
204156FFF
209429FFF
209430FFF
217099FFF
217100FFF
252916FFF
252917FFF
330293FFF
330294FFF
377730FFF
377731FFF
380391FFF
380392FFF
383272FFF
383273FFF

Independent-effect pairs