Decision #681 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 4908 | c1 br 4909 | outcome |
|---|---|---|---|
| 1347 | F | F | F |
| 1348 | F | F | F |
| 1349 | F | F | F |
| 1350 | F | F | F |
| 1351 | F | F | F |
| 4387 | F | F | F |
| 4388 | F | F | F |
| 4389 | F | F | F |
| 4390 | F | F | F |
| 4391 | F | F | F |
| 7336 | F | F | F |
| 7337 | F | F | F |
| 7338 | F | F | F |
| 7339 | F | F | F |
| 7340 | F | F | F |
| 9907 | F | F | F |
| 11055 | F | F | F |
| 12146 | F | F | F |
| 18289 | F | F | F |
| 26007 | F | F | F |
| 31733 | F | F | F |
| 37671 | F | F | F |
| 41298 | F | F | F |
| 41299 | F | F | F |
| 41300 | F | F | F |
| 44311 | F | F | F |
| 44312 | F | F | F |
| 44313 | F | F | F |
| 47763 | F | F | F |
| 47764 | F | F | F |
| 47765 | F | F | F |
| 50838 | F | F | F |
| 50839 | F | F | F |
| 50840 | F | F | F |
| 59748 | F | F | F |
| 69520 | F | F | F |
| 73769 | F | F | F |
| 73770 | F | F | F |
| 73771 | F | F | F |
| 73772 | F | F | F |
| 73773 | F | F | F |
| 73774 | F | F | F |
| 77244 | F | F | F |
| 77245 | F | F | F |
| 77246 | F | F | F |
| 77247 | F | F | F |
| 77248 | F | F | F |
| 77249 | F | F | F |
| 79720 | F | F | F |
| 79721 | F | F | F |
| 79722 | F | F | F |
| 81132 | F | F | F |
| 82319 | F | F | F |
| 83381 | F | F | F |
| 84667 | F | F | F |
| 86537 | F | F | F |
| 86538 | F | F | F |
| 86539 | F | F | F |
| 87998 | F | F | F |
| 89866 | F | F | F |
| 89867 | F | F | F |
| 91401 | F | F | F |
| 107416 | F | F | F |
| 126279 | F | F | F |
| 130310 | F | F | F |
| 131485 | F | F | F |
| 132812 | F | F | F |
Independent-effect pairs
c0(branch4908): GAP view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if
inlined: binary_reader.rs:443c1(branch4909): GAP view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if
inlined: binary_reader.rs:443