Decision #618 — library/core/src/slice/cmp.rs:131
Status: no_witness
Truth table
| row | c0 br 3992 | c1 br 3996 | c2 br 3997 | c3 br 4006 | c4 br 4007 | outcome |
|---|---|---|---|---|---|---|
| 16766 | F | * | F | * | * | T |
| 16767 | F | * | F | * | * | T |
| 16768 | F | * | F | * | * | T |
| 16769 | F | * | F | * | * | T |
| 26246 | F | * | F | * | * | T |
| 26247 | F | * | F | * | * | T |
| 26248 | F | * | F | * | * | T |
| 26249 | F | * | F | * | * | T |
| 35929 | F | * | F | * | * | T |
| 35930 | F | * | F | * | * | T |
| 35931 | F | * | F | * | * | T |
| 35932 | F | * | F | * | * | T |
| 35933 | F | * | F | * | * | T |
| 35934 | F | * | F | * | * | T |
| 35935 | F | * | F | * | * | T |
| 35936 | F | * | F | * | * | T |
| 35937 | F | * | F | * | * | T |
| 35938 | F | * | F | * | * | T |
| 42142 | F | * | F | * | * | T |
| 42143 | F | * | F | * | * | T |
| 42144 | F | * | F | * | * | T |
| 42145 | F | * | F | * | * | T |
| 42146 | F | * | F | * | * | T |
| 42147 | F | * | F | * | * | T |
| 42148 | F | * | F | * | * | T |
| 42149 | F | * | F | * | * | T |
| 42150 | F | * | F | * | * | T |
| 42151 | F | * | F | * | * | T |
| 65386 | F | * | F | * | * | T |
| 65387 | F | * | F | * | * | T |
| 65388 | F | * | F | * | * | T |
| 65389 | F | * | F | * | * | T |
| 65390 | F | * | F | * | * | T |
| 65391 | F | * | F | * | * | T |
| 65392 | F | * | F | * | * | T |
| 65393 | F | * | F | * | * | T |
| 76899 | F | * | F | * | * | T |
| 76900 | F | * | F | * | * | T |
| 76901 | F | * | F | * | * | T |
| 76902 | F | * | F | * | * | T |
| 76903 | F | * | F | * | * | T |
| 76904 | F | * | F | * | * | T |
| 76905 | F | * | F | * | * | T |
| 76906 | F | * | F | * | * | T |
| 119000 | F | * | F | * | * | T |
| 119001 | F | * | F | * | * | T |
| 119002 | F | * | F | * | * | T |
| 119003 | F | * | F | * | * | T |
| 119004 | F | * | F | * | * | T |
| 119005 | F | * | F | * | * | T |
| 119006 | F | * | F | * | * | T |
| 119007 | F | * | F | * | * | T |
| 119008 | F | * | F | * | * | T |
| 119009 | F | * | F | * | * | T |
| 119010 | F | * | F | * | * | T |
| 119011 | F | * | F | * | * | T |
| 119012 | F | * | F | * | * | T |
| 119013 | F | * | F | * | * | T |
| 119014 | F | * | F | * | * | T |
| 119015 | F | * | F | * | * | T |
| 141936 | F | * | F | * | * | T |
| 141937 | F | * | F | * | * | T |
| 141938 | F | * | F | * | * | T |
| 141939 | F | * | F | * | * | T |
| 141940 | F | * | F | * | * | T |
| 141941 | F | * | F | * | * | T |
| 141942 | F | * | F | * | * | T |
| 141943 | F | * | F | * | * | T |
| 141944 | F | * | F | * | * | T |
| 141945 | F | * | F | * | * | T |
| 141946 | F | * | F | * | * | T |
| 141947 | F | * | F | * | * | T |
| 141948 | F | * | F | * | * | T |
| 141949 | F | * | F | * | * | T |
| 141950 | F | * | F | * | * | T |
| 141951 | F | * | F | * | * | T |
Independent-effect pairs
c0(branch3992): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4176 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:24c1(branch3996): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4176 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:24c2(branch3997): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4176 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:24c3(branch4006): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_ifc4(branch4007): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if