Decision #1201 — binary_reader.rs:679
Status: no_witness
Truth table
| row | c0 br 8204 | c1 br 8205 | outcome |
|---|---|---|---|
| 2377 | F | F | F |
| 2378 | F | F | F |
| 9336 | F | F | F |
| 9337 | F | F | F |
| 16142 | F | F | F |
| 16143 | F | F | F |
| 192121 | F | F | F |
| 192122 | F | F | F |
| 198082 | F | F | F |
| 198083 | F | F | F |
| 203977 | F | F | F |
| 203978 | F | F | F |
| 209204 | F | F | F |
| 209205 | F | F | F |
| 209206 | F | F | F |
| 209207 | F | F | F |
| 216883 | F | F | F |
| 216884 | F | F | F |
Independent-effect pairs
c0(branch8204): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_ifc1(branch8205): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_if