Decision #907 — library/alloc/src/vec/spec_from_iter_nested.rs:36
Status: no_witness
Truth table
| row | c0 br 5994 | c1 br 5995 | outcome |
|---|---|---|---|
| 31473 | F | T | T |
| 31474 | F | T | T |
| 31475 | F | T | T |
| 31476 | F | T | T |
| 31477 | F | T | T |
| 31478 | F | T | T |
| 52327 | F | T | T |
| 52328 | F | T | T |
| 52329 | F | T | T |
| 52330 | F | T | T |
| 52331 | F | T | T |
| 52332 | F | T | T |
| 92800 | F | T | T |
| 92801 | F | T | T |
| 100631 | F | T | T |
| 100632 | F | T | T |
| 109119 | F | T | T |
| 109120 | F | T | T |
| 117144 | F | T | T |
| 117145 | F | T | T |
| 125324 | F | T | T |
| 125325 | F | T | T |
| 125326 | F | T | T |
| 125327 | F | T | T |
| 125328 | F | T | T |
| 125329 | F | T | T |
| 125330 | F | T | T |
| 125331 | F | T | T |
| 142043 | F | T | T |
| 142044 | F | T | T |
| 142045 | F | T | T |
| 142046 | F | T | T |
| 142047 | F | T | T |
| 142048 | F | T | T |
| 142049 | F | T | T |
| 142050 | F | T | T |
| 159539 | F | T | T |
| 159540 | F | T | T |
| 159541 | F | T | T |
| 159542 | F | T | T |
| 169397 | F | T | T |
| 169398 | F | T | T |
| 169399 | F | T | T |
| 169400 | F | T | T |
| 216306 | F | T | T |
| 216307 | F | T | T |
Independent-effect pairs
c0(branch5994): GAP view gap →scry_interval::i32_sub· br_ifc1(branch5995): GAP view gap →scry_interval::i32_sub· br_if