Decision #964 — library/alloc/src/vec/spec_from_iter_nested.rs:42
Status: no_witness
Truth table
| row | c0 br 6931 | c1 br 6932 | outcome |
|---|---|---|---|
| 1915 | T | F | F |
| 1916 | T | F | F |
| 5706 | T | F | F |
| 5707 | T | F | F |
| 9487 | T | F | F |
| 9488 | T | F | F |
| 12339 | T | F | F |
| 13713 | T | F | F |
| 15040 | T | F | F |
| 22469 | T | F | F |
| 31947 | T | F | F |
| 38264 | T | F | F |
| 44477 | T | F | F |
| 49091 | T | F | F |
| 49092 | T | F | F |
| 49093 | T | F | F |
| 49094 | T | F | F |
| 53292 | T | F | F |
| 53293 | T | F | F |
| 53294 | T | F | F |
| 53295 | T | F | F |
| 57822 | T | F | F |
| 57823 | T | F | F |
| 57824 | T | F | F |
| 57825 | T | F | F |
| 62015 | T | F | F |
| 62016 | T | F | F |
| 62017 | T | F | F |
| 62018 | T | F | F |
| 72589 | T | F | F |
| 84102 | T | F | F |
| 89596 | T | F | F |
| 89597 | T | F | F |
| 89598 | T | F | F |
| 89599 | T | F | F |
| 89600 | T | F | F |
| 89601 | T | F | F |
| 93864 | T | F | F |
| 93865 | T | F | F |
| 93866 | T | F | F |
| 93867 | T | F | F |
| 93868 | T | F | F |
| 93869 | T | F | F |
| 96612 | T | F | F |
| 96613 | T | F | F |
| 96614 | T | F | F |
| 98394 | T | F | F |
| 99909 | T | F | F |
| 101327 | T | F | F |
| 103390 | T | F | F |
| 103391 | T | F | F |
| 103392 | T | F | F |
| 107084 | T | F | F |
| 107085 | T | F | F |
| 107086 | T | F | F |
| 109563 | T | F | F |
| 109564 | T | F | F |
| 109565 | T | F | F |
| 112567 | T | F | F |
| 112568 | T | F | F |
| 112569 | T | F | F |
| 112570 | T | F | F |
| 112571 | T | F | F |
| 115463 | T | F | F |
| 115464 | T | F | F |
| 115465 | T | F | F |
| 135303 | T | F | F |
| 158239 | T | F | F |
| 163666 | T | F | F |
| 165247 | T | F | F |
| 166967 | T | F | F |
Independent-effect pairs
c0(branch6931): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_string· br_ifc1(branch6932): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_string· br_if