Decision #439 — lib.rs:496
Status: no_witness
Truth table
| row | c0 br 2947 | c1 br 2948 | outcome |
|---|---|---|---|
| 31529 | F | T | T |
| 31530 | F | T | T |
| 31531 | F | T | T |
| 31532 | F | T | T |
| 31533 | F | T | T |
| 31534 | F | T | T |
| 31535 | F | T | T |
| 31536 | F | T | T |
| 37467 | F | T | T |
| 37468 | F | T | T |
| 37469 | F | T | T |
| 37470 | F | T | T |
| 37471 | F | T | T |
| 37472 | F | T | T |
| 37473 | F | T | T |
| 37474 | F | T | T |
| 107092 | F | T | T |
| 107093 | F | T | T |
| 107094 | F | T | T |
| 107095 | F | T | T |
| 107096 | F | T | T |
| 107097 | F | T | T |
| 107098 | F | T | T |
| 107099 | F | T | T |
| 107100 | F | T | T |
| 107101 | F | T | T |
| 107102 | F | T | T |
| 107103 | F | T | T |
| 107104 | F | T | T |
| 107105 | F | T | T |
| 107106 | F | T | T |
| 107107 | F | T | T |
| 107108 | F | T | T |
| 107109 | F | T | T |
| 107110 | F | T | T |
| 107111 | F | T | T |
| 107112 | F | T | T |
| 107113 | F | T | T |
| 107114 | F | T | T |
| 107115 | F | T | T |
| 125955 | F | T | T |
| 125956 | F | T | T |
| 125957 | F | T | T |
| 125958 | F | T | T |
| 125959 | F | T | T |
| 125960 | F | T | T |
| 125961 | F | T | T |
| 125962 | F | T | T |
| 125963 | F | T | T |
| 125964 | F | T | T |
| 125965 | F | T | T |
| 125966 | F | T | T |
| 125967 | F | T | T |
| 125968 | F | T | T |
| 125969 | F | T | T |
| 125970 | F | T | T |
| 125971 | F | T | T |
| 125972 | F | T | T |
| 125973 | F | T | T |
| 125974 | F | T | T |
| 125975 | F | T | T |
| 125976 | F | T | T |
| 125977 | F | T | T |
| 125978 | F | T | T |
Independent-effect pairs
c0(branch2947): GAP view gap →scry_octagon::widen· br_ifc1(branch2948): GAP view gap →scry_octagon::widen· br_if