Decision #722 — lib.rs:1471
Status: partial
Truth table
| row | c0 br 4720 | c1 br 4721 | outcome |
|---|---|---|---|
| 1866 | F | F | F |
| 1867 | F | F | F |
| 1868 | F | F | F |
| 1869 | F | F | F |
| 1870 | F | F | F |
| 8825 | F | F | F |
| 8826 | F | F | F |
| 8827 | F | F | F |
| 8828 | F | F | F |
| 8829 | F | F | F |
| 15631 | F | F | F |
| 15632 | F | F | F |
| 15633 | F | F | F |
| 15634 | F | F | F |
| 15635 | F | F | F |
| 21959 | F | F | F |
| 24701 | F | F | F |
| 27345 | F | F | F |
| 31074 | F | F | F |
| 51928 | F | F | F |
| 72847 | F | F | F |
| 82730 | F | F | F |
| 92592 | F | F | F |
| 92593 | F | F | F |
| 92594 | F | F | F |
| 100423 | F | F | F |
| 100424 | F | F | F |
| 100425 | F | F | F |
| 108912 | F | F | F |
| 108913 | F | F | F |
| 108914 | F | F | F |
| 116936 | F | F | F |
| 116937 | F | F | F |
| 116938 | F | F | F |
| 124814 | F | F | F |
| 141533 | F | F | F |
| 159197 | F | F | F |
| 159198 | F | F | F |
| 159199 | F | F | F |
| 159200 | F | F | F |
| 159201 | F | F | F |
| 159202 | F | F | F |
| 169055 | F | F | F |
| 169056 | F | F | F |
| 169057 | F | F | F |
| 169058 | F | F | F |
| 169059 | F | F | F |
| 169060 | F | F | F |
| 176941 | T | * | T |
| 176942 | T | * | T |
| 176943 | T | * | T |
| 181458 | F | F | F |
| 184776 | F | F | F |
| 187885 | F | F | F |
| 191518 | F | F | F |
| 197302 | F | F | F |
| 197303 | F | F | F |
| 197304 | F | F | F |
| 203576 | F | F | F |
| 208627 | F | F | F |
| 208628 | F | F | F |
| 216149 | F | F | F |
| 224550 | F | F | F |
| 301927 | F | F | F |
| 377317 | F | F | F |
| 379974 | F | F | F |
| 382857 | F | F | F |
Independent-effect pairs
c0(branch4720): PROVED — pair rows1866,176941(masking)<core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned· br_if
inlined: lib.rs:7192c1(branch4721): GAP view gap →<core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned· br_if
inlined: lib.rs:7192