Decision #601 — lib.rs:4111
Status: no_witness
Truth table
| row | c0 br 3961 | c1 br 3962 | outcome |
|---|---|---|---|
| 102764 | * | T | T |
| 102765 | T | T | T |
| 102766 | T | T | T |
| 102767 | * | T | T |
| 106089 | * | T | T |
| 106090 | * | T | T |
| 106091 | * | T | T |
| 106092 | * | T | T |
| 106093 | * | T | T |
| 106094 | T | T | T |
| 106095 | T | T | T |
| 106096 | T | T | T |
| 106097 | T | T | T |
| 106098 | T | T | T |
| 106099 | F | T | T |
| 106100 | * | T | T |
| 109108 | T | T | T |
| 109109 | * | T | T |
| 111854 | * | T | T |
| 111855 | T | T | T |
| 111856 | T | T | T |
| 111857 | * | T | T |
| 114707 | T | T | T |
| 114708 | * | T | T |
Independent-effect pairs
c0(branch3961): GAP view gap →scry_analyze_core::i32_binop· br_ifc1(branch3962): GAP view gap →scry_analyze_core::i32_binop· br_if