Decision #746 — lib.rs:5897
Status: partial
Truth table
| row | c0 br 4848 | c1 br 4849 | outcome |
|---|---|---|---|
| 31130 | F | T | T |
| 31131 | F | T | T |
| 51984 | F | T | T |
| 51985 | F | T | T |
| 72934 | F | T | T |
| 72935 | F | T | T |
| 72936 | F | T | T |
| 72937 | F | F | F |
| 72938 | F | F | F |
| 72939 | F | T | T |
| 72940 | F | T | T |
| 72941 | F | T | T |
| 72942 | F | F | F |
| 72943 | F | F | F |
| 82817 | F | T | T |
| 82818 | F | T | T |
| 82819 | F | T | T |
| 82820 | F | F | F |
| 82821 | F | F | F |
| 82822 | F | T | T |
| 82823 | F | T | T |
| 82824 | F | T | T |
| 82825 | F | F | F |
| 82826 | F | F | F |
| 124886 | F | T | T |
| 124887 | F | T | T |
| 124888 | F | T | T |
| 124889 | F | T | T |
| 141605 | F | T | T |
| 141606 | F | T | T |
| 141607 | F | T | T |
| 141608 | F | T | T |
| 224695 | F | T | T |
| 224696 | F | T | T |
| 224697 | F | T | T |
| 224698 | F | F | F |
| 224699 | F | F | F |
| 224700 | F | F | F |
| 224701 | F | F | F |
| 224702 | F | T | T |
| 224703 | F | T | T |
| 224704 | F | T | T |
| 224705 | F | F | F |
| 224706 | F | F | F |
| 224707 | F | F | F |
| 224708 | F | F | F |
| 302072 | F | T | T |
| 302073 | F | T | T |
| 302074 | F | T | T |
| 302075 | F | F | F |
| 302076 | F | F | F |
| 302077 | F | F | F |
| 302078 | F | F | F |
| 302079 | F | T | T |
| 302080 | F | T | T |
| 302081 | F | T | T |
| 302082 | F | F | F |
| 302083 | F | F | F |
| 302084 | F | F | F |
| 302085 | F | F | F |
Independent-effect pairs
c0(branch4848): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4849): PROVED — pair rows31130,72937(unique-cause)<scry_analyze_core::Interp>::loop_region· br_if