Decision #443 — library/alloc/src/slice.rs:452
Status: no_witness
Truth table
| row | c0 br 3082 | c1 br 3083 | outcome |
|---|---|---|---|
| 550 | F | T | T |
| 551 | F | T | T |
| 552 | F | T | T |
| 553 | F | T | T |
| 4344 | F | T | T |
| 4345 | F | T | T |
| 4346 | F | T | T |
| 4347 | F | T | T |
| 8074 | F | T | T |
| 8075 | F | T | T |
| 8076 | F | T | T |
| 8077 | F | T | T |
| 47758 | F | T | T |
| 51927 | F | T | T |
| 56465 | F | T | T |
| 60682 | F | T | T |
| 95982 | F | T | T |
| 105573 | F | T | T |
| 105574 | F | T | T |
| 111385 | F | T | T |
Independent-effect pairs
c0(branch3082): GAP view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3083): GAP view gap →scry_analyze_core::compute_stack_usage· br_if