Decision #490 — library/core/src/option.rs:1163
Status: no_witness
Truth table
| row | c0 br 3424 | c1 br 3444 | outcome |
|---|---|---|---|
| 14734 | * | F | T |
| 14735 | * | F | T |
| 14736 | * | F | T |
| 14737 | * | F | T |
| 14738 | * | F | T |
| 99735 | T | * | T |
| 99736 | T | F | T |
| 99737 | T | F | T |
| 99738 | T | F | T |
| 108224 | T | * | T |
| 108225 | T | F | T |
| 108226 | T | F | T |
| 108227 | T | F | T |
| 379688 | T | * | T |
| 379689 | T | F | T |
| 382572 | T | * | T |
| 382573 | T | F | T |
Independent-effect pairs
c0(branch3424): GAP view gap →scry_analyze_core::run_taint_analysis· br_ifc1(branch3444): GAP view gap →scry_analyze_core::run_taint_analysis· br_if