Decision #1247 — binary_reader.rs:562
Status: no_witness
Truth table
| row | c0 br 8436 | c1 br 8437 | outcome |
|---|---|---|---|
| 2706 | T | F | T |
| 2707 | T | F | T |
| 2708 | T | F | T |
| 2709 | T | F | T |
| 2710 | T | F | T |
| 9663 | T | F | T |
| 9664 | T | F | T |
| 9665 | T | F | T |
| 9666 | T | F | T |
| 9667 | T | F | T |
| 16484 | T | F | T |
| 16485 | T | F | T |
| 16486 | T | F | T |
| 16487 | T | F | T |
| 16488 | T | F | T |
| 22315 | T | F | T |
| 25055 | T | F | T |
| 27701 | T | F | T |
| 39109 | T | F | T |
| 59961 | T | F | T |
| 75495 | T | F | T |
| 85378 | T | F | T |
| 93654 | T | F | T |
| 93655 | T | F | T |
| 93656 | T | F | T |
| 101495 | T | F | T |
| 101496 | T | F | T |
| 101497 | T | F | T |
| 109979 | T | F | T |
| 109980 | T | F | T |
| 109981 | T | F | T |
| 117998 | T | F | T |
| 117999 | T | F | T |
| 118000 | T | F | T |
| 132466 | T | F | T |
| 149185 | T | F | T |
| 160213 | T | F | T |
| 160214 | T | F | T |
| 160215 | T | F | T |
| 160216 | T | F | T |
| 160217 | T | F | T |
| 160218 | T | F | T |
| 170071 | T | F | T |
| 170072 | T | F | T |
| 170073 | T | F | T |
| 170074 | T | F | T |
| 170075 | T | F | T |
| 170076 | T | F | T |
| 177315 | T | F | T |
| 177316 | T | F | T |
| 177317 | T | F | T |
| 181828 | T | F | T |
| 185144 | T | F | T |
| 188255 | T | F | T |
| 192323 | T | F | T |
| 198346 | T | F | T |
| 198347 | T | F | T |
| 198348 | T | F | T |
| 204177 | T | F | T |
| 209453 | T | F | T |
| 209454 | T | F | T |
| 217121 | T | F | T |
| 252934 | T | F | T |
| 330311 | T | F | T |
| 377748 | T | F | T |
| 380409 | T | F | T |
| 383290 | T | F | T |
Independent-effect pairs
c0(branch8436): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_ifc1(branch8437): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_if