Decision #519 — library/core/src/num/int_macros.rs:1983
Status: no_witness
Truth table
| row | c0 br 3702 | c1 br 3703 | outcome |
|---|---|---|---|
| 1062 | F | F | F |
| 1063 | F | F | F |
| 1064 | F | F | F |
| 1065 | F | F | F |
| 1066 | F | F | F |
| 8022 | F | F | F |
| 8023 | F | F | F |
| 8024 | F | F | F |
| 8025 | F | F | F |
| 8026 | F | F | F |
| 14823 | F | F | F |
| 14824 | F | F | F |
| 14825 | F | F | F |
| 14826 | F | F | F |
| 14827 | F | F | F |
| 21665 | F | F | F |
| 24408 | F | F | F |
| 27051 | F | F | F |
| 30621 | F | F | F |
| 51476 | F | F | F |
| 72401 | F | F | F |
| 82284 | F | F | F |
| 91959 | F | F | F |
| 91960 | F | F | F |
| 99788 | F | F | F |
| 99789 | F | F | F |
| 108277 | F | F | F |
| 108278 | F | F | F |
| 116303 | F | F | F |
| 116304 | F | F | F |
| 124358 | F | F | F |
| 141077 | F | F | F |
| 158233 | F | F | F |
| 158234 | F | F | F |
| 158235 | F | F | F |
| 158236 | F | F | F |
| 158237 | F | F | F |
| 158238 | F | F | F |
| 168091 | F | F | F |
| 168092 | F | F | F |
| 168093 | F | F | F |
| 168094 | F | F | F |
| 168095 | F | F | F |
| 168096 | F | F | F |
| 176467 | F | F | F |
| 176468 | F | F | F |
| 176469 | F | F | F |
| 181169 | F | F | F |
| 184488 | F | F | F |
| 187596 | F | F | F |
| 191130 | F | F | F |
| 196420 | F | F | F |
| 196421 | F | F | F |
| 196422 | F | F | F |
| 203257 | F | F | F |
| 207751 | F | F | F |
| 207752 | F | F | F |
| 224081 | F | F | F |
| 301458 | F | F | F |
| 377052 | F | F | F |
| 379709 | F | F | F |
| 382593 | F | F | F |
Independent-effect pairs
c0(branch3702): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7784c1(branch3703): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:7784