Decision #611 — library/core/src/str/pattern.rs:1474
Status: partial
Truth table
| row | c0 br 4091 | c1 br 4092 | outcome |
|---|---|---|---|
| 1430 | F | T | T |
| 1431 | F | T | T |
| 1432 | F | T | T |
| 1433 | F | T | T |
| 1434 | F | T | T |
| 8390 | F | T | T |
| 8391 | F | T | T |
| 8392 | F | T | T |
| 8393 | F | T | T |
| 8394 | F | T | T |
| 15191 | F | T | T |
| 15192 | F | T | T |
| 15193 | F | T | T |
| 15194 | F | T | T |
| 15195 | F | T | T |
| 21778 | F | T | T |
| 24521 | F | T | T |
| 27164 | F | T | T |
| 30867 | F | F | F |
| 51722 | F | F | F |
| 72644 | F | T | T |
| 82527 | F | T | T |
| 92278 | F | T | T |
| 92279 | F | T | T |
| 92280 | F | T | T |
| 100107 | F | T | T |
| 100108 | F | T | T |
| 100109 | F | T | T |
| 108596 | F | T | T |
| 108597 | F | T | T |
| 108598 | F | T | T |
| 116622 | F | T | T |
| 116623 | F | T | T |
| 116624 | F | T | T |
| 124607 | F | F | F |
| 141326 | F | F | F |
| 158760 | F | T | T |
| 158761 | F | T | T |
| 158762 | F | T | T |
| 158763 | F | T | T |
| 158764 | F | T | T |
| 158765 | F | T | T |
| 168618 | F | T | T |
| 168619 | F | T | T |
| 168620 | F | T | T |
| 168621 | F | T | T |
| 168622 | F | T | T |
| 168623 | F | T | T |
| 176682 | F | T | T |
| 176683 | F | T | T |
| 176684 | F | T | T |
| 181272 | F | T | T |
| 184591 | F | T | T |
| 187699 | F | T | T |
| 191302 | F | T | T |
| 196949 | F | T | T |
| 196950 | F | T | T |
| 196951 | F | T | T |
| 203371 | F | T | T |
| 208301 | F | T | T |
| 208302 | F | T | T |
| 215911 | F | T | T |
| 224343 | F | F | F |
| 301720 | F | F | F |
| 377142 | F | T | T |
| 379799 | F | T | T |
| 382683 | F | T | T |
Independent-effect pairs
c0(branch4091): GAP view gap →scry_analyze_core::compute_handle_findings· br_ifc1(branch4092): PROVED — pair rows1430,30867(unique-cause)scry_analyze_core::compute_handle_findings· br_if