Decision #1039 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 7334 | c1 br 7342 | outcome |
|---|---|---|---|
| 2169 | T | * | T |
| 2170 | F | * | T |
| 2171 | T | * | T |
| 2172 | F | * | T |
| 5960 | T | * | T |
| 5961 | F | * | T |
| 5962 | T | * | T |
| 5963 | F | * | T |
| 9741 | T | * | T |
| 9742 | F | * | T |
| 9743 | T | * | T |
| 9744 | F | * | T |
| 12474 | T | * | T |
| 12475 | F | * | T |
| 13848 | T | * | T |
| 13849 | F | * | T |
| 15175 | T | * | T |
| 15176 | F | * | T |
| 22610 | T | * | T |
| 22611 | F | * | T |
| 32088 | T | * | T |
| 32089 | F | * | T |
| 38407 | T | * | T |
| 38408 | F | * | T |
| 44620 | T | * | T |
| 44621 | F | * | T |
| 49282 | T | * | T |
| 49283 | F | * | T |
| 49284 | T | * | T |
| 49285 | F | * | T |
| 53483 | T | * | T |
| 53484 | F | * | T |
| 53485 | T | * | T |
| 53486 | F | * | T |
| 58013 | T | * | T |
| 58014 | F | * | T |
| 58015 | T | * | T |
| 58016 | F | * | T |
| 62206 | T | * | T |
| 62207 | F | * | T |
| 62208 | T | * | T |
| 62209 | F | * | T |
| 72730 | T | * | T |
| 72731 | F | * | T |
| 84243 | T | * | T |
| 84244 | F | * | T |
| 89827 | T | * | T |
| 89828 | F | * | T |
| 94095 | T | * | T |
| 94096 | F | * | T |
| 96794 | F | * | T |
| 98554 | T | * | T |
| 98555 | F | * | T |
| 100069 | T | * | T |
| 100070 | F | * | T |
| 101487 | T | * | T |
| 101488 | F | * | T |
| 103575 | T | * | T |
| 103576 | F | * | T |
| 107297 | T | * | T |
| 107298 | F | * | T |
| 109748 | T | * | T |
| 109749 | F | * | T |
| 112776 | T | * | T |
| 112777 | F | * | T |
| 115650 | T | * | T |
| 115651 | F | * | T |
| 135446 | T | * | T |
| 135447 | F | * | T |
| 158382 | T | * | T |
| 158383 | F | * | T |
| 163799 | T | * | T |
| 163800 | F | * | T |
| 165380 | T | * | T |
| 165381 | F | * | T |
| 167100 | T | * | T |
| 167101 | F | * | T |
Independent-effect pairs
c0(branch7334): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch7342): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:89 ← binary_reader.rs:484 ← binary_reader.rs:422