Decision #312 — library/core/src/result.rs:2175
Status: no_witness
Truth table
| row | c0 br 1832 | c1 br 1833 | outcome |
|---|---|---|---|
| 11745 | F | F | T |
| 11746 | F | F | T |
| 13121 | F | F | T |
| 13122 | F | F | T |
| 14446 | F | F | T |
| 14447 | F | F | T |
| 47337 | F | F | T |
| 47338 | F | F | T |
| 51465 | F | F | T |
| 51466 | F | F | T |
| 56003 | F | F | T |
| 56004 | F | F | T |
| 60261 | F | F | T |
| 60262 | F | F | T |
| 87506 | F | F | T |
| 87507 | F | F | T |
| 87508 | F | F | T |
| 87509 | F | F | T |
| 87510 | F | F | T |
| 87511 | F | F | T |
| 91774 | F | F | T |
| 91775 | F | F | T |
| 91776 | F | F | T |
| 91777 | F | F | T |
| 91778 | F | F | T |
| 91779 | F | F | T |
| 97817 | F | F | T |
| 99335 | F | F | T |
| 100750 | F | F | T |
| 163069 | F | F | T |
| 164624 | F | F | T |
| 166346 | F | F | T |
Independent-effect pairs
c0(branch1832): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc1(branch1833): GAP view gap →<scry_bits::BitsCong>::reduce· br_if