Decision #947 — library/core/src/num/int_macros.rs:2553
Status: no_witness
Truth table
| row | c0 br 6172 | c1 br 6173 | outcome |
|---|---|---|---|
| 33372 | F | F | T |
| 33373 | F | T | T |
| 33374 | F | F | T |
| 33375 | F | T | T |
| 33376 | F | F | T |
| 33377 | F | T | T |
| 33378 | F | F | T |
| 33379 | F | T | T |
| 33380 | F | F | T |
| 33381 | F | T | T |
| 33382 | F | F | T |
| 33383 | F | T | T |
| 54226 | F | F | T |
| 54227 | F | T | T |
| 54228 | F | F | T |
| 54229 | F | T | T |
| 54230 | F | F | T |
| 54231 | F | T | T |
| 54232 | F | F | T |
| 54233 | F | T | T |
| 54234 | F | F | T |
| 54235 | F | T | T |
| 54236 | F | F | T |
| 54237 | F | T | T |
| 238645 | F | F | T |
| 238646 | F | T | T |
| 238647 | F | F | T |
| 238648 | F | T | T |
| 238649 | F | T | T |
| 238650 | F | F | T |
| 238651 | F | T | T |
| 238652 | F | F | T |
| 238653 | F | T | T |
| 238654 | F | T | T |
| 238655 | F | F | T |
| 238656 | F | T | T |
| 238657 | F | F | T |
| 238658 | F | T | T |
| 238659 | F | T | T |
| 238660 | F | F | T |
| 238661 | F | T | T |
| 238662 | F | F | T |
| 238663 | F | T | T |
| 238664 | F | T | T |
| 238665 | F | F | T |
| 238666 | F | T | T |
| 238667 | F | F | T |
| 238668 | F | T | T |
| 238669 | F | T | T |
| 238670 | F | F | T |
| 238671 | F | T | T |
| 238672 | F | F | T |
| 238673 | F | T | T |
| 238674 | F | T | T |
| 238675 | F | F | T |
| 238676 | F | T | T |
| 238677 | F | F | T |
| 238678 | F | T | T |
| 238679 | F | T | T |
| 238680 | F | F | T |
| 238681 | F | T | T |
| 238682 | F | T | T |
| 238683 | F | F | T |
| 238684 | F | T | T |
| 238685 | F | F | T |
| 238686 | F | T | T |
| 238687 | F | F | T |
| 238688 | F | T | T |
| 238689 | F | T | T |
| 238690 | F | F | T |
| 238691 | F | T | T |
| 238692 | F | F | T |
| 238693 | F | T | T |
| 238694 | F | T | T |
| 238695 | F | F | T |
| 238696 | F | T | T |
| 238697 | F | F | T |
| 238698 | F | T | T |
| 238699 | F | T | T |
| 238700 | F | F | T |
| 238701 | F | T | T |
| 238702 | F | F | T |
| 238703 | F | T | T |
| 238704 | F | T | T |
| 238705 | F | F | T |
| 238706 | F | T | T |
| 238707 | F | F | T |
| 238708 | F | T | T |
| 238709 | F | T | T |
| 238710 | F | F | T |
| 238711 | F | T | T |
| 238712 | F | F | T |
| 238713 | F | T | T |
| 238714 | F | T | T |
| 238715 | F | F | T |
| 238716 | F | T | T |
| 238717 | F | F | T |
| 238718 | F | T | T |
| 238719 | F | T | T |
| 238720 | F | F | T |
| 238721 | F | T | T |
| 238722 | F | T | T |
| 238723 | F | F | T |
| 238724 | F | T | T |
| 316022 | F | F | T |
| 316023 | F | T | T |
| 316024 | F | F | T |
| 316025 | F | T | T |
| 316026 | F | T | T |
| 316027 | F | F | T |
| 316028 | F | T | T |
| 316029 | F | F | T |
| 316030 | F | T | T |
| 316031 | F | T | T |
| 316032 | F | F | T |
| 316033 | F | T | T |
| 316034 | F | F | T |
| 316035 | F | T | T |
| 316036 | F | T | T |
| 316037 | F | F | T |
| 316038 | F | T | T |
| 316039 | F | F | T |
| 316040 | F | T | T |
| 316041 | F | T | T |
| 316042 | F | F | T |
| 316043 | F | T | T |
| 316044 | F | F | T |
| 316045 | F | T | T |
| 316046 | F | T | T |
| 316047 | F | F | T |
| 316048 | F | T | T |
| 316049 | F | F | T |
| 316050 | F | T | T |
| 316051 | F | T | T |
| 316052 | F | F | T |
| 316053 | F | T | T |
| 316054 | F | F | T |
| 316055 | F | T | T |
| 316056 | F | T | T |
| 316057 | F | F | T |
| 316058 | F | T | T |
| 316059 | F | T | T |
| 316060 | F | F | T |
| 316061 | F | T | T |
| 316062 | F | F | T |
| 316063 | F | T | T |
| 316064 | F | F | T |
| 316065 | F | T | T |
| 316066 | F | T | T |
| 316067 | F | F | T |
| 316068 | F | T | T |
| 316069 | F | F | T |
| 316070 | F | T | T |
| 316071 | F | T | T |
| 316072 | F | F | T |
| 316073 | F | T | T |
| 316074 | F | F | T |
| 316075 | F | T | T |
| 316076 | F | T | T |
| 316077 | F | F | T |
| 316078 | F | T | T |
| 316079 | F | F | T |
| 316080 | F | T | T |
| 316081 | F | T | T |
| 316082 | F | F | T |
| 316083 | F | T | T |
| 316084 | F | F | T |
| 316085 | F | T | T |
| 316086 | F | T | T |
| 316087 | F | F | T |
| 316088 | F | T | T |
| 316089 | F | F | T |
| 316090 | F | T | T |
| 316091 | F | T | T |
| 316092 | F | F | T |
| 316093 | F | T | T |
| 316094 | F | F | T |
| 316095 | F | T | T |
| 316096 | F | T | T |
| 316097 | F | F | T |
| 316098 | F | T | T |
| 316099 | F | T | T |
| 316100 | F | F | T |
| 316101 | F | T | T |
Independent-effect pairs
c0(branch6172): GAP view gap →<scry_poly::Poly>::join· br_ifc1(branch6173): GAP view gap →<scry_poly::Poly>::join· br_if