Decision #1272 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 8585 | c1 br 8586 | c2 br 8590 | outcome |
|---|---|---|---|---|
| 3253 | T | * | T | T |
| 3254 | T | * | F | T |
| 3255 | * | * | T | T |
| 3256 | * | * | F | T |
| 10210 | T | * | T | T |
| 10211 | T | * | F | T |
| 10212 | * | * | T | T |
| 10213 | * | * | F | T |
| 17063 | T | * | T | T |
| 17064 | T | * | F | T |
| 17065 | * | * | T | T |
| 17066 | * | * | F | T |
| 22529 | T | * | T | T |
| 22530 | * | * | F | T |
| 25269 | T | * | T | T |
| 25270 | * | * | F | T |
| 27915 | T | * | T | T |
| 27916 | * | * | F | T |
| 39512 | T | * | T | T |
| 39513 | * | * | F | T |
| 60364 | T | * | T | T |
| 60365 | * | * | F | T |
| 75973 | T | * | T | T |
| 75974 | * | * | F | T |
| 85856 | T | * | T | T |
| 85857 | * | * | F | T |
| 94168 | T | * | T | T |
| 94169 | T | * | F | T |
| 94170 | * | * | T | T |
| 94171 | * | * | F | T |
| 102029 | T | * | T | T |
| 102030 | T | * | F | T |
| 102031 | * | * | T | T |
| 102032 | * | * | F | T |
| 110510 | T | * | T | T |
| 110511 | T | * | F | T |
| 110512 | * | * | T | T |
| 110513 | * | * | F | T |
| 118512 | T | * | T | T |
| 118513 | T | * | F | T |
| 118514 | * | * | T | T |
| 118515 | * | * | F | T |
| 132901 | T | * | T | T |
| 132902 | * | * | F | T |
| 149620 | T | * | T | T |
| 149621 | * | * | F | T |
| 161012 | T | * | T | T |
| 161013 | * | * | F | T |
| 170870 | T | * | T | T |
| 170871 | * | * | F | T |
| 177619 | T | * | F | T |
| 182034 | T | * | T | T |
| 182035 | * | * | F | T |
| 185350 | T | * | T | T |
| 185351 | * | * | F | T |
| 188461 | T | * | T | T |
| 188462 | * | * | F | T |
| 192617 | T | * | T | T |
| 192618 | * | * | F | T |
| 199099 | T | * | T | T |
| 199100 | * | * | F | T |
| 204406 | T | * | T | T |
| 204407 | * | * | F | T |
| 210020 | T | * | T | T |
| 210021 | * | * | F | T |
| 217497 | T | * | T | T |
| 217498 | * | * | F | T |
| 253502 | T | * | T | T |
| 253503 | * | * | F | T |
| 330879 | T | * | T | T |
| 330880 | * | * | F | T |
| 377930 | T | * | T | T |
| 377931 | * | * | F | T |
| 380597 | T | * | T | T |
| 380598 | * | * | F | T |
| 383478 | T | * | T | T |
| 383479 | * | * | F | T |
Independent-effect pairs
c0(branch8585): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:82 ← binary_reader.rs:484c1(branch8586): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:82 ← binary_reader.rs:484c2(branch8590): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:89 ← binary_reader.rs:484