Decision #397 — lib.rs:391
Status: no_witness
Truth table
| row | c0 br 2735 | c1 br 2737 | outcome |
|---|---|---|---|
| 9769 | F | F | F |
| 9770 | F | F | F |
| 10917 | F | F | F |
| 10918 | F | F | F |
| 12008 | F | F | F |
| 12009 | F | F | F |
| 41057 | T | T | T |
| 41058 | T | T | T |
| 44070 | T | T | T |
| 44071 | T | T | T |
| 47522 | T | T | T |
| 47523 | T | T | T |
| 50597 | T | T | T |
| 50598 | T | T | T |
| 73447 | F | F | F |
| 73448 | F | F | F |
| 73449 | F | F | F |
| 73450 | F | F | F |
| 76922 | F | F | F |
| 76923 | F | F | F |
| 76924 | F | F | F |
| 76925 | F | F | F |
Independent-effect pairs
c0(branch2735): GAP view gap →scry_interval::i32_mul· br_ifc1(branch2737): GAP view gap →scry_interval::i32_mul· br_if