Decision #452 — binary_reader.rs:681
Status: no_witness
Truth table
| row | c0 br 3054 | c1 br 3055 | c2 br 3056 | outcome |
|---|---|---|---|---|
| 1054 | T | F | T | T |
| 1055 | T | F | T | T |
| 1056 | T | F | T | T |
| 1057 | T | F | T | T |
| 4094 | T | F | T | T |
| 4095 | T | F | T | T |
| 4096 | T | F | T | T |
| 4097 | T | F | T | T |
| 7043 | T | F | T | T |
| 7044 | T | F | T | T |
| 7045 | T | F | T | T |
| 7046 | T | F | T | T |
| 9777 | T | F | T | T |
| 9778 | T | F | T | T |
| 10925 | T | F | T | T |
| 10926 | T | F | T | T |
| 12016 | T | F | T | T |
| 12017 | T | F | T | T |
| 18122 | T | F | T | T |
| 18123 | T | F | T | T |
| 25840 | T | F | T | T |
| 25841 | T | F | T | T |
| 31571 | T | F | T | T |
| 31572 | T | F | T | T |
| 37509 | T | F | T | T |
| 37510 | T | F | T | T |
| 41077 | T | F | T | T |
| 41078 | T | F | T | T |
| 41079 | T | F | T | T |
| 41080 | T | F | T | T |
| 44090 | T | F | T | T |
| 44091 | T | F | T | T |
| 44092 | T | F | T | T |
| 44093 | T | F | T | T |
| 47542 | T | F | T | T |
| 47543 | T | F | T | T |
| 47544 | T | F | T | T |
| 47545 | T | F | T | T |
| 50617 | T | F | T | T |
| 50618 | T | F | T | T |
| 50619 | T | F | T | T |
| 50620 | T | F | T | T |
| 59581 | T | F | T | T |
| 59582 | T | F | T | T |
| 69353 | T | F | T | T |
| 69354 | T | F | T | T |
| 73479 | T | F | T | T |
| 73480 | T | F | T | T |
| 76954 | T | F | T | T |
| 76955 | T | F | T | T |
| 79534 | T | F | T | T |
| 79535 | T | F | T | T |
| 80982 | T | F | T | T |
| 80983 | T | F | T | T |
| 82169 | T | F | T | T |
| 82170 | T | F | T | T |
| 83231 | T | F | T | T |
| 83232 | T | F | T | T |
| 84455 | T | F | T | T |
| 84456 | T | F | T | T |
| 86236 | T | F | T | T |
| 86237 | T | F | T | T |
| 87797 | T | F | T | T |
| 87798 | T | F | T | T |
| 89539 | T | F | T | T |
| 89540 | T | F | T | T |
| 91159 | T | F | T | T |
| 91160 | T | F | T | T |
| 107248 | T | F | T | T |
| 107249 | T | F | T | T |
| 126111 | T | F | T | T |
| 126112 | T | F | T | T |
| 130185 | T | F | T | T |
| 130186 | T | F | T | T |
| 131360 | T | F | T | T |
| 131361 | T | F | T | T |
| 132687 | T | F | T | T |
| 132688 | T | F | T | T |
Independent-effect pairs
c0(branch3054): GAP view gap →wasmparser::binary_reader::BinaryReader::read_size· br_ifc1(branch3055): GAP view gap →wasmparser::binary_reader::BinaryReader::read_size· br_if
inlined: binary_reader.rs:681 ← library/core/src/result.rs:968c2(branch3056): GAP view gap →wasmparser::binary_reader::BinaryReader::read_size· br_if