Decision #750 — library/core/src/num/uint_macros.rs:3178
Status: partial
Truth table
| row | c0 br 5072 | c1 br 5074 | outcome |
|---|---|---|---|
| 17281 | T | * | T |
| 17282 | T | * | T |
| 17283 | T | * | T |
| 17284 | F | F | F |
| 17285 | T | * | T |
| 17286 | T | * | T |
| 17287 | T | * | T |
| 17288 | F | F | F |
| 26759 | T | * | T |
| 26760 | T | * | T |
| 26761 | T | * | T |
| 26762 | F | F | F |
| 26763 | T | * | T |
| 26764 | T | * | T |
| 26765 | T | * | T |
| 26766 | F | F | F |
| 66025 | T | * | T |
| 66026 | T | * | T |
| 66027 | T | * | T |
| 66028 | F | F | F |
| 66029 | T | * | T |
| 66030 | T | * | T |
| 66031 | T | * | T |
| 66032 | F | F | F |
| 66033 | T | * | T |
| 66034 | T | * | T |
| 66035 | T | * | T |
| 66036 | F | F | F |
| 66037 | T | * | T |
| 66038 | T | * | T |
| 66039 | T | * | T |
| 66040 | F | F | F |
| 66041 | T | * | T |
| 66042 | T | * | T |
| 66043 | T | * | T |
| 66044 | F | F | F |
| 66045 | T | * | T |
| 66046 | T | * | T |
| 66047 | T | * | T |
| 66048 | F | F | F |
| 66049 | T | * | T |
| 66050 | T | * | T |
| 66051 | T | * | T |
| 66052 | F | F | F |
| 66053 | T | * | T |
| 66054 | T | * | T |
| 66055 | T | * | T |
| 66056 | F | F | F |
| 77538 | T | * | T |
| 77539 | T | * | T |
| 77540 | T | * | T |
| 77541 | F | F | F |
| 77542 | T | * | T |
| 77543 | T | * | T |
| 77544 | T | * | T |
| 77545 | F | F | F |
| 77546 | T | * | T |
| 77547 | T | * | T |
| 77548 | T | * | T |
| 77549 | F | F | F |
| 77550 | T | * | T |
| 77551 | T | * | T |
| 77552 | T | * | T |
| 77553 | F | F | F |
| 77554 | T | * | T |
| 77555 | T | * | T |
| 77556 | T | * | T |
| 77557 | F | F | F |
| 77558 | T | * | T |
| 77559 | T | * | T |
| 77560 | T | * | T |
| 77561 | F | F | F |
| 77562 | T | * | T |
| 77563 | T | * | T |
| 77564 | T | * | T |
| 77565 | F | F | F |
| 77566 | T | * | T |
| 77567 | T | * | T |
| 77568 | T | * | T |
| 77569 | F | F | F |
| 119869 | T | * | T |
| 119870 | T | * | T |
| 119871 | T | * | T |
| 119872 | F | F | F |
| 119873 | T | * | T |
| 119874 | T | * | T |
| 119875 | T | * | T |
| 119876 | F | F | F |
| 142805 | T | * | T |
| 142806 | T | * | T |
| 142807 | T | * | T |
| 142808 | F | F | F |
| 142809 | T | * | T |
| 142810 | T | * | T |
| 142811 | T | * | T |
| 142812 | F | F | F |
Independent-effect pairs
c0(branch5072): PROVED — pair rows17281,17284(masking)scry_octagon::forget· br_if
inlined: library/alloc/src/raw_vec/mod.rs:454 ← library/alloc/src/raw_vec/mod.rs:901 ← library/core/src/alloc/layout.rs:527 ← library/core/src/num/uint_macros.rs:1288c1(branch5074): GAP view gap →scry_octagon::forget· br_if
inlined: library/alloc/src/raw_vec/mod.rs:454 ← library/alloc/src/raw_vec/mod.rs:901 ← library/core/src/alloc/layout.rs:527 ← library/core/src/num/uint_macros.rs:1288