Decision #925 — num.rs:41
Status: no_witness
Truth table
| row | c0 br 6334 | c1 br 6335 | c2 br 6336 | c3 br 6337 | outcome |
|---|---|---|---|---|---|
| 3037 | * | F | F | F | F |
| 3038 | * | F | T | * | F |
| 3039 | * | F | F | F | F |
| 9380 | * | F | F | F | F |
| 9381 | * | F | T | * | F |
| 9382 | * | F | F | F | F |
| 9383 | * | F | T | * | F |
| 9384 | * | F | F | F | F |
| 9385 | * | F | T | * | F |
| 9386 | * | F | F | F | F |
| 9387 | * | F | T | * | F |
| 9388 | * | F | F | F | F |
| 9389 | * | F | T | * | F |
| 9390 | * | F | F | F | F |
| 42990 | * | F | T | * | F |
| 42991 | * | F | F | F | F |
| 46430 | * | F | T | * | F |
| 46431 | * | F | F | F | F |
| 46432 | * | F | T | * | F |
| 46433 | * | F | T | * | F |
| 46434 | * | F | T | * | F |
| 46435 | * | F | T | * | F |
| 46436 | * | F | T | * | F |
| 46437 | * | F | F | F | F |
| 46438 | * | F | T | * | F |
| 46439 | * | F | F | F | F |
| 46440 | * | F | T | * | F |
| 46441 | * | F | F | F | F |
| 46442 | * | F | T | * | F |
| 46443 | * | F | F | F | F |
| 49560 | * | F | T | * | F |
| 49561 | * | F | T | * | F |
| 49562 | * | F | T | * | F |
| 49563 | * | F | F | F | F |
| 49564 | * | F | T | * | F |
| 49565 | * | F | F | F | F |
| 52530 | * | F | T | * | F |
| 52531 | * | F | F | F | F |
| 80622 | * | F | F | F | F |
| 81806 | * | F | F | F | F |
| 84055 | * | F | F | F | F |
| 92110 | * | F | T | * | F |
| 132318 | * | F | T | * | F |
| 132319 | * | F | T | * | F |
| 132320 | * | F | T | * | F |
| 132321 | * | F | T | * | F |
| 133534 | * | F | T | * | F |
| 133535 | * | F | T | * | F |
Independent-effect pairs
All 4 conditions live in <u32 as core::fmt::Display>::fmt — 4 br_if
c0(branch6334): DEAD view gap →c1(branch6335): GAP view gap →c2(branch6336): GAP view gap →c3(branch6337): GAP view gap →