Decision #723 — library/alloc/src/fmt.rs:659
Status: partial
Truth table
| row | c0 br 4717 | c1 br 4718 | outcome |
|---|---|---|---|
| 1871 | T | * | T |
| 1872 | T | * | T |
| 1873 | T | * | T |
| 1874 | T | * | T |
| 1875 | F | F | F |
| 8830 | T | * | T |
| 8831 | T | * | T |
| 8832 | T | * | T |
| 8833 | T | * | T |
| 8834 | F | F | F |
| 15636 | T | * | T |
| 15637 | T | * | T |
| 15638 | T | * | T |
| 15639 | T | * | T |
| 15640 | F | F | F |
| 21960 | T | * | T |
| 24702 | T | * | T |
| 27346 | T | * | T |
| 31075 | F | F | F |
| 51929 | F | F | F |
| 72848 | T | * | T |
| 82731 | T | * | T |
| 92595 | F | F | F |
| 92596 | T | * | T |
| 92597 | F | F | F |
| 100426 | F | F | F |
| 100427 | T | * | T |
| 100428 | F | F | F |
| 108915 | F | F | F |
| 108916 | T | * | T |
| 108917 | F | F | F |
| 116939 | F | F | F |
| 116940 | T | * | T |
| 116941 | F | F | F |
| 124815 | F | F | F |
| 141534 | F | F | F |
| 159203 | T | * | T |
| 159204 | T | * | T |
| 159205 | T | * | T |
| 159206 | T | * | T |
| 159207 | T | * | T |
| 159208 | T | * | T |
| 169061 | T | * | T |
| 169062 | T | * | T |
| 169063 | T | * | T |
| 169064 | T | * | T |
| 169065 | T | * | T |
| 169066 | T | * | T |
| 176944 | T | * | T |
| 176945 | T | * | T |
| 176946 | T | * | T |
| 181459 | T | * | T |
| 184777 | T | * | T |
| 187886 | T | * | T |
| 191519 | F | F | F |
| 197305 | T | * | T |
| 197306 | T | * | T |
| 197307 | T | * | T |
| 203577 | F | F | F |
| 208629 | T | * | T |
| 208630 | T | * | T |
| 216150 | F | F | F |
| 224551 | T | * | T |
| 301928 | T | * | T |
| 377318 | F | F | F |
| 379975 | F | F | F |
| 382858 | F | F | F |
Independent-effect pairs
c0(branch4717): PROVED — pair rows1871,1875(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:7187 ← library/core/src/option.rs:1365 ← lib.rs:7188 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch4718): 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:7187 ← library/core/src/option.rs:1365 ← lib.rs:7188 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276