Decision #922 — binary_reader.rs:447
Status: partial
Truth table
| row | c0 br 6676 | c1 br 6677 | outcome |
|---|---|---|---|
| 1902 | T | * | T |
| 1903 | F | F | F |
| 1904 | T | * | T |
| 5693 | T | * | T |
| 5694 | F | F | F |
| 5695 | T | * | T |
| 9474 | T | * | T |
| 9475 | F | F | F |
| 9476 | T | * | T |
| 12332 | T | * | T |
| 13706 | T | * | T |
| 15033 | T | * | T |
| 22463 | F | F | F |
| 22464 | T | * | T |
| 31941 | F | F | F |
| 31942 | T | * | T |
| 38257 | T | * | T |
| 44470 | T | * | T |
| 49082 | F | F | F |
| 49083 | T | * | T |
| 49084 | T | * | T |
| 53283 | F | F | F |
| 53284 | T | * | T |
| 53285 | T | * | T |
| 57813 | F | F | F |
| 57814 | T | * | T |
| 57815 | T | * | T |
| 62006 | F | F | F |
| 62007 | T | * | T |
| 62008 | T | * | T |
| 72583 | F | F | F |
| 72584 | T | * | T |
| 84096 | F | F | F |
| 84097 | T | * | T |
| 89589 | T | * | T |
| 93857 | T | * | T |
| 96607 | T | * | T |
| 98385 | T | * | T |
| 99900 | T | * | T |
| 101318 | T | * | T |
| 103382 | F | F | F |
| 103383 | T | * | T |
| 107075 | T | * | T |
| 109555 | F | F | F |
| 109556 | T | * | T |
| 112558 | T | * | T |
| 115455 | F | F | F |
| 115456 | T | * | T |
| 135296 | T | * | T |
| 158232 | T | * | T |
| 163660 | F | F | F |
| 163661 | T | * | T |
| 165241 | F | F | F |
| 165242 | T | * | T |
| 166961 | F | F | F |
| 166962 | T | * | T |
Independent-effect pairs
c0(branch6676): PROVED — pair rows1902,1903(masking)<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::try_fold::<(), core::iter::traits::iterator::Iterator::try_for_each::call<wasmparser::readers::core::types::ValType, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>::Break>::{closure#0}, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>>· br_ifc1(branch6677): GAP view gap →<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::try_fold::<(), core::iter::traits::iterator::Iterator::try_for_each::call<wasmparser::readers::core::types::ValType, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>::Break>::{closure#0}, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>>· br_if