Decision #910 — binary_reader.rs:389
Status: no_witness
Truth table
| row | c0 br 6580 | c1 br 6581 | outcome |
|---|---|---|---|
| 1895 | T | F | F |
| 1896 | T | F | F |
| 1897 | T | F | F |
| 5686 | T | F | F |
| 5687 | T | F | F |
| 5688 | T | F | F |
| 9467 | T | F | F |
| 9468 | T | F | F |
| 9469 | T | F | F |
| 22451 | T | F | F |
| 22452 | T | F | F |
| 22453 | T | F | F |
| 22454 | T | F | F |
| 22455 | T | F | F |
| 22456 | T | F | F |
| 22457 | T | F | F |
| 31929 | T | F | F |
| 31930 | T | F | F |
| 31931 | T | F | F |
| 31932 | T | F | F |
| 31933 | T | F | F |
| 31934 | T | F | F |
| 31935 | T | F | F |
| 38248 | T | F | F |
| 38249 | T | F | F |
| 38250 | T | F | F |
| 38251 | T | F | F |
| 38252 | T | F | F |
| 38253 | T | F | F |
| 44461 | T | F | F |
| 44462 | T | F | F |
| 44463 | T | F | F |
| 44464 | T | F | F |
| 44465 | T | F | F |
| 44466 | T | F | F |
| 49073 | T | F | F |
| 49074 | T | F | F |
| 49075 | T | F | F |
| 49076 | T | F | F |
| 49077 | T | F | F |
| 53274 | T | F | F |
| 53275 | T | F | F |
| 53276 | T | F | F |
| 53277 | T | F | F |
| 53278 | T | F | F |
| 57804 | T | F | F |
| 57805 | T | F | F |
| 57806 | T | F | F |
| 57807 | T | F | F |
| 57808 | T | F | F |
| 61997 | T | F | F |
| 61998 | T | F | F |
| 61999 | T | F | F |
| 62000 | T | F | F |
| 62001 | T | F | F |
| 72571 | T | F | F |
| 72572 | T | F | F |
| 72573 | T | F | F |
| 72574 | T | F | F |
| 72575 | T | F | F |
| 72576 | T | F | F |
| 72577 | T | F | F |
| 84084 | T | F | F |
| 84085 | T | F | F |
| 84086 | T | F | F |
| 84087 | T | F | F |
| 84088 | T | F | F |
| 84089 | T | F | F |
| 84090 | T | F | F |
| 96606 | T | F | F |
| 103373 | T | F | F |
| 103374 | T | F | F |
| 103375 | T | F | F |
| 103376 | T | F | F |
| 103377 | T | F | F |
| 107059 | T | F | F |
| 107060 | T | F | F |
| 107061 | T | F | F |
| 107062 | T | F | F |
| 107063 | T | F | F |
| 107064 | T | F | F |
| 107065 | T | F | F |
| 107066 | T | F | F |
| 107067 | T | F | F |
| 107068 | T | F | F |
| 107069 | T | F | F |
| 107070 | T | F | F |
| 107071 | T | F | F |
| 107072 | T | F | F |
| 109548 | T | F | F |
| 109549 | T | F | F |
| 109550 | T | F | F |
| 112536 | T | F | F |
| 112537 | T | F | F |
| 112538 | T | F | F |
| 112539 | T | F | F |
| 112540 | T | F | F |
| 112541 | T | F | F |
| 112542 | T | F | F |
| 112543 | T | F | F |
| 112544 | T | F | F |
| 112545 | T | F | F |
| 112546 | T | F | F |
| 112547 | T | F | F |
| 112548 | T | F | F |
| 112549 | T | F | F |
| 112550 | T | F | F |
| 112551 | T | F | F |
| 112552 | T | F | F |
| 112553 | T | F | F |
| 112554 | T | F | F |
| 115443 | T | F | F |
| 115444 | T | F | F |
| 115445 | T | F | F |
| 115446 | T | F | F |
| 115447 | T | F | F |
| 115448 | T | F | F |
| 115449 | T | F | F |
| 115450 | T | F | F |
| 135285 | T | F | F |
| 135286 | T | F | F |
| 135287 | T | F | F |
| 135288 | T | F | F |
| 135289 | T | F | F |
| 135290 | T | F | F |
| 135291 | T | F | F |
| 135292 | T | F | F |
| 158221 | T | F | F |
| 158222 | T | F | F |
| 158223 | T | F | F |
| 158224 | T | F | F |
| 158225 | T | F | F |
| 158226 | T | F | F |
| 158227 | T | F | F |
| 158228 | T | F | F |
| 163656 | T | F | F |
| 165237 | T | F | F |
| 166957 | T | F | F |
Independent-effect pairs
c0(branch6580): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_u32· br_ifc1(branch6581): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_u32· br_if