Decision #736 — lib.rs:408
Status: no_witness
Truth table
| row | c0 br 5016 | c1 br 5017 | outcome |
|---|---|---|---|
| 17249 | F | T | T |
| 17250 | F | T | T |
| 17251 | F | T | T |
| 17252 | F | T | T |
| 17253 | F | T | T |
| 17254 | F | T | T |
| 26727 | F | T | T |
| 26728 | F | T | T |
| 26729 | F | T | T |
| 26730 | F | T | T |
| 26731 | F | T | T |
| 26732 | F | T | T |
| 48691 | F | T | T |
| 48692 | F | T | T |
| 52892 | F | T | T |
| 52893 | F | T | T |
| 57422 | F | T | T |
| 57423 | F | T | T |
| 61615 | F | T | T |
| 61616 | F | T | T |
| 65913 | F | T | T |
| 65914 | F | T | T |
| 65915 | F | T | T |
| 65916 | F | T | T |
| 65917 | F | T | T |
| 65918 | F | T | T |
| 65919 | F | T | T |
| 65920 | F | T | T |
| 77426 | F | T | T |
| 77427 | F | T | T |
| 77428 | F | T | T |
| 77429 | F | T | T |
| 77430 | F | T | T |
| 77431 | F | T | T |
| 77432 | F | T | T |
| 77433 | F | T | T |
| 89370 | F | T | T |
| 89371 | F | T | T |
| 89372 | F | T | T |
| 89373 | F | T | T |
| 93638 | F | T | T |
| 93639 | F | T | T |
| 93640 | F | T | T |
| 93641 | F | T | T |
| 115064 | F | T | T |
| 115065 | F | T | T |
Independent-effect pairs
c0(branch5016): GAP view gap →scry_interval::i32_sub· br_ifc1(branch5017): GAP view gap →scry_interval::i32_sub· br_if