Decision #1160 — binary_reader.rs:447
Status: partial
Truth table
| row | c0 br 7914 | c1 br 7915 | outcome |
|---|---|---|---|
| 2363 | T | * | T |
| 2364 | F | F | F |
| 2365 | T | * | T |
| 9322 | T | * | T |
| 9323 | F | F | F |
| 9324 | T | * | T |
| 16128 | T | * | T |
| 16129 | F | F | F |
| 16130 | T | * | T |
| 22149 | T | * | T |
| 24891 | T | * | T |
| 27535 | T | * | T |
| 38903 | F | F | F |
| 38904 | T | * | T |
| 59757 | F | F | F |
| 59758 | T | * | T |
| 75278 | T | * | T |
| 85161 | T | * | T |
| 93379 | F | F | F |
| 93380 | T | * | T |
| 93381 | T | * | T |
| 101210 | F | F | F |
| 101211 | T | * | T |
| 101212 | T | * | T |
| 109698 | F | F | F |
| 109699 | T | * | T |
| 109700 | T | * | T |
| 117723 | F | F | F |
| 117724 | T | * | T |
| 117725 | T | * | T |
| 132264 | F | F | F |
| 132265 | T | * | T |
| 148983 | F | F | F |
| 148984 | T | * | T |
| 159914 | T | * | T |
| 169772 | T | * | T |
| 177079 | T | * | T |
| 181627 | T | * | T |
| 184945 | T | * | T |
| 188054 | T | * | T |
| 192109 | F | F | F |
| 192110 | T | * | T |
| 198068 | T | * | T |
| 203965 | F | F | F |
| 203966 | T | * | T |
| 209186 | T | * | T |
| 216868 | F | F | F |
| 216869 | T | * | T |
| 252695 | T | * | T |
| 330072 | T | * | T |
| 377580 | F | F | F |
| 377581 | T | * | T |
| 380237 | F | F | F |
| 380238 | T | * | T |
| 383120 | F | F | F |
| 383121 | T | * | T |
Independent-effect pairs
c0(branch7914): PROVED — pair rows2363,2364(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(branch7915): 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