Decision #600 — library/core/src/slice/index.rs:443
Status: no_witness
Truth table
| row | c0 br 4513 | c1 br 4514 | outcome |
|---|---|---|---|
| 1157 | T | F | T |
| 4197 | T | F | T |
| 7146 | T | F | T |
| 84531 | T | F | T |
| 86381 | T | F | T |
| 87862 | T | F | T |
| 89716 | T | F | T |
| 89717 | T | F | T |
| 91265 | T | F | T |
Independent-effect pairs
c0(branch4513): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4514): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if