Decision #1078 — binary_reader.rs:447
Status: no_witness
Truth table
| row | c0 br 7555 | c1 br 7556 | outcome |
|---|---|---|---|
| 2195 | T | * | T |
| 2196 | T | * | T |
| 2197 | T | * | T |
| 2198 | T | * | T |
| 5986 | T | * | T |
| 5987 | T | * | T |
| 5988 | T | * | T |
| 5989 | T | * | T |
| 9767 | T | * | T |
| 9768 | T | * | T |
| 9769 | T | * | T |
| 9770 | T | * | T |
| 12480 | T | * | T |
| 12481 | T | * | T |
| 13854 | T | * | T |
| 13855 | T | * | T |
| 15181 | T | * | T |
| 15182 | T | * | T |
| 22616 | T | * | T |
| 22617 | T | * | T |
| 32094 | T | * | T |
| 32095 | T | * | T |
| 38413 | T | * | T |
| 38414 | T | * | T |
| 44626 | T | * | T |
| 44627 | T | * | T |
| 49300 | T | * | T |
| 49301 | T | * | T |
| 49302 | T | * | T |
| 49303 | T | * | T |
| 53501 | T | * | T |
| 53502 | T | * | T |
| 53503 | T | * | T |
| 53504 | T | * | T |
| 58031 | T | * | T |
| 58032 | T | * | T |
| 58033 | T | * | T |
| 58034 | T | * | T |
| 62224 | T | * | T |
| 62225 | T | * | T |
| 62226 | T | * | T |
| 62227 | T | * | T |
| 72736 | T | * | T |
| 72737 | T | * | T |
| 84249 | T | * | T |
| 84250 | T | * | T |
| 89838 | T | * | T |
| 89839 | T | * | T |
| 94106 | T | * | T |
| 94107 | T | * | T |
| 96805 | T | * | T |
| 96806 | T | * | T |
| 98564 | T | * | T |
| 98565 | T | * | T |
| 100079 | T | * | T |
| 100080 | T | * | T |
| 101497 | T | * | T |
| 101498 | T | * | T |
| 103583 | T | * | T |
| 103584 | T | * | T |
| 107309 | T | * | T |
| 107310 | T | * | T |
| 109756 | T | * | T |
| 109757 | T | * | T |
| 112788 | T | * | T |
| 112789 | T | * | T |
| 115658 | T | * | T |
| 115659 | T | * | T |
| 135452 | T | * | T |
| 135453 | T | * | T |
| 158388 | T | * | T |
| 158389 | T | * | T |
| 163805 | T | * | T |
| 163806 | T | * | T |
| 165386 | T | * | T |
| 165387 | T | * | T |
| 167106 | T | * | T |
| 167107 | T | * | T |
Independent-effect pairs
c0(branch7555): GAP view gap →<<wasmparser::readers::core::types::RecGroup>::into_types_and_offsets::Iter as core::iter::traits::iterator::Iterator>::next· br_ifc1(branch7556): DEAD view gap →<<wasmparser::readers::core::types::RecGroup>::into_types_and_offsets::Iter as core::iter::traits::iterator::Iterator>::next· br_if