Decision #1 — lib.rs:115
Status: no_witness
Truth table
| row | c0 br 4 | c1 br 5 | outcome |
|---|---|---|---|
| 1 | * | T | T |
| 3041 | * | T | T |
| 5934 | * | F | T |
| 9392 | * | T | T |
| 10540 | * | T | T |
| 11631 | * | T | T |
| 12779 | * | T | T |
| 20497 | * | T | T |
| 28152 | * | T | T |
| 34090 | * | T | T |
| 40028 | * | T | T |
| 42994 | * | F | T |
| 46446 | * | F | T |
| 49568 | * | T | T |
| 52534 | * | T | T |
| 62306 | * | T | T |
| 72078 | * | T | T |
| 75553 | * | T | T |
| 79028 | * | T | T |
| 80624 | * | T | T |
| 81811 | * | T | T |
| 82873 | * | T | T |
| 84060 | * | T | T |
| 85320 | * | T | T |
| 87467 | * | T | T |
| 88630 | * | T | T |
| 90668 | * | T | T |
| 92112 | * | T | T |
| 110975 | * | T | T |
| 129838 | * | T | T |
| 130997 | * | F | T |
| 132324 | * | F | T |
Independent-effect pairs
c0(branch4): DEAD view gap →core::ptr::drop_in_place<scry_analyze_core::AnalysisResult>· br_ifc1(branch5): GAP view gap →core::ptr::drop_in_place<scry_analyze_core::AnalysisResult>· br_if