Decision #749 — library/core/src/iter/range.rs:900
Status: partial
Truth table
| row | c0 br 5067 | c1 br 5069 | outcome |
|---|---|---|---|
| 17273 | F | F | F |
| 17274 | F | F | F |
| 17275 | F | F | F |
| 17276 | F | T | T |
| 17277 | F | F | F |
| 17278 | * | F | F |
| 17279 | F | F | F |
| 17280 | * | T | T |
| 26751 | F | F | F |
| 26752 | F | F | F |
| 26753 | F | F | F |
| 26754 | F | T | T |
| 26755 | F | F | F |
| 26756 | * | F | F |
| 26757 | F | F | F |
| 26758 | * | T | T |
| 65993 | F | F | F |
| 65994 | F | F | F |
| 65995 | F | F | F |
| 65996 | F | T | T |
| 65997 | F | F | F |
| 65998 | * | F | F |
| 65999 | F | F | F |
| 66000 | F | T | T |
| 66001 | F | F | F |
| 66002 | * | F | F |
| 66003 | F | F | F |
| 66004 | F | T | T |
| 66005 | F | F | F |
| 66006 | * | F | F |
| 66007 | F | F | F |
| 66008 | F | T | T |
| 66009 | F | F | F |
| 66010 | * | F | F |
| 66011 | F | F | F |
| 66012 | F | T | T |
| 66013 | F | F | F |
| 66014 | * | F | F |
| 66015 | F | F | F |
| 66016 | F | T | T |
| 66017 | F | F | F |
| 66018 | * | F | F |
| 66019 | F | F | F |
| 66020 | F | T | T |
| 66021 | F | F | F |
| 66022 | * | F | F |
| 66023 | F | F | F |
| 66024 | * | T | T |
| 77506 | F | F | F |
| 77507 | F | F | F |
| 77508 | F | F | F |
| 77509 | F | T | T |
| 77510 | F | F | F |
| 77511 | * | F | F |
| 77512 | F | F | F |
| 77513 | F | T | T |
| 77514 | F | F | F |
| 77515 | * | F | F |
| 77516 | F | F | F |
| 77517 | F | T | T |
| 77518 | F | F | F |
| 77519 | * | F | F |
| 77520 | F | F | F |
| 77521 | F | T | T |
| 77522 | F | F | F |
| 77523 | * | F | F |
| 77524 | F | F | F |
| 77525 | F | T | T |
| 77526 | F | F | F |
| 77527 | * | F | F |
| 77528 | F | F | F |
| 77529 | F | T | T |
| 77530 | F | F | F |
| 77531 | * | F | F |
| 77532 | F | F | F |
| 77533 | F | T | T |
| 77534 | F | F | F |
| 77535 | * | F | F |
| 77536 | F | F | F |
| 77537 | * | T | T |
| 119861 | F | F | F |
| 119862 | F | F | F |
| 119863 | F | F | F |
| 119864 | F | T | T |
| 119865 | F | F | F |
| 119866 | * | F | F |
| 119867 | F | F | F |
| 119868 | * | T | T |
| 142797 | F | F | F |
| 142798 | F | F | F |
| 142799 | F | F | F |
| 142800 | F | T | T |
| 142801 | F | F | F |
| 142802 | * | F | F |
| 142803 | F | F | F |
| 142804 | * | T | T |
Independent-effect pairs
c0(branch5067): GAP view gap →scry_octagon::forget· br_ifc1(branch5069): PROVED — pair rows17273,17276(unique-cause)scry_octagon::forget· br_if
inlined: lib.rs:153 ← library/core/src/iter/range.rs:985