Decision #1569 — mul.rs:83
Status: full_mcdc
Truth table
| row | c0 br 10203 | c1 br 10204 | outcome |
|---|---|---|---|
| 6944 | F | F | F |
| 6945 | F | F | F |
| 6946 | F | F | F |
| 6947 | F | F | F |
| 6948 | F | F | F |
| 6949 | F | F | F |
| 6950 | F | F | F |
| 6951 | F | F | F |
| 13680 | F | F | F |
| 13681 | F | F | F |
| 13682 | F | F | F |
| 13683 | F | F | F |
| 13684 | F | F | F |
| 13685 | F | F | F |
| 13686 | F | F | F |
| 13687 | F | F | F |
| 21151 | F | F | F |
| 21152 | F | F | F |
| 21153 | F | F | F |
| 21154 | F | F | F |
| 21155 | F | F | F |
| 21156 | F | F | F |
| 21157 | F | F | F |
| 21158 | F | F | F |
| 23896 | F | T | T |
| 23897 | F | T | T |
| 23898 | F | F | F |
| 23899 | F | T | T |
| 23900 | F | T | T |
| 23901 | F | F | F |
| 26539 | F | T | T |
| 26540 | F | T | T |
| 26541 | F | F | F |
| 26542 | F | T | T |
| 26543 | F | T | T |
| 26544 | F | F | F |
| 29282 | F | T | T |
| 29283 | F | T | T |
| 29284 | F | F | F |
| 29285 | F | T | T |
| 29286 | F | T | T |
| 29287 | F | F | F |
| 49759 | F | T | T |
| 49760 | F | F | F |
| 49761 | F | T | T |
| 49762 | F | F | F |
| 70483 | F | T | T |
| 70484 | F | F | F |
| 70485 | F | T | T |
| 70486 | F | F | F |
| 80728 | F | T | T |
| 80729 | F | F | F |
| 80730 | F | T | T |
| 80731 | F | F | F |
| 90611 | F | T | T |
| 90612 | F | F | F |
| 90613 | F | T | T |
| 90614 | F | F | F |
| 98400 | F | F | F |
| 98401 | F | F | F |
| 98402 | F | T | T |
| 98403 | F | T | T |
| 98404 | F | F | F |
| 98405 | F | F | F |
| 106893 | F | F | F |
| 106894 | F | F | F |
| 106895 | F | T | T |
| 106896 | F | T | T |
| 106897 | F | F | F |
| 106898 | F | F | F |
| 114972 | F | F | F |
| 114973 | F | F | F |
| 114974 | F | T | T |
| 114975 | F | T | T |
| 114976 | F | F | F |
| 114977 | F | F | F |
| 122744 | F | F | F |
| 122745 | F | F | F |
| 122746 | F | T | T |
| 122747 | F | T | T |
| 122748 | F | F | F |
| 122749 | F | F | F |
| 139444 | F | F | F |
| 139445 | F | F | F |
| 139446 | F | F | F |
| 139447 | F | F | F |
| 156163 | F | F | F |
| 156164 | F | F | F |
| 156165 | F | F | F |
| 156166 | F | F | F |
| 165985 | F | T | T |
| 165986 | F | T | T |
| 165987 | F | T | T |
| 165988 | F | T | T |
| 165989 | F | T | T |
| 165990 | F | T | T |
| 165991 | F | T | T |
| 165992 | F | T | T |
| 165993 | F | T | T |
| 165994 | F | T | T |
| 165995 | F | T | T |
| 165996 | F | T | T |
| 165997 | F | T | T |
| 165998 | F | T | T |
| 165999 | F | T | T |
| 166000 | F | T | T |
| 166001 | F | T | T |
| 166002 | F | T | T |
| 166003 | F | T | T |
| 166004 | F | T | T |
| 166005 | F | T | T |
| 166006 | F | T | T |
| 166007 | F | T | T |
| 166008 | F | T | T |
| 175843 | F | T | T |
| 175844 | F | T | T |
| 175845 | F | T | T |
| 175846 | F | T | T |
| 175847 | F | T | T |
| 175848 | F | T | T |
| 175849 | F | T | T |
| 175850 | F | T | T |
| 175851 | F | T | T |
| 175852 | F | T | T |
| 175853 | F | T | T |
| 175854 | F | T | T |
| 175855 | F | T | T |
| 175856 | F | T | T |
| 175857 | F | T | T |
| 175858 | F | T | T |
| 175859 | F | T | T |
| 175860 | F | T | T |
| 175861 | F | T | T |
| 175862 | F | T | T |
| 175863 | F | T | T |
| 175864 | F | T | T |
| 175865 | F | T | T |
| 175866 | F | T | T |
| 184034 | F | F | F |
| 184035 | F | F | F |
| 184036 | F | F | F |
| 184037 | F | F | F |
| 187143 | F | F | F |
| 187144 | F | F | F |
| 187145 | F | F | F |
| 187146 | F | F | F |
| 190461 | F | F | F |
| 190462 | F | F | F |
| 190463 | F | F | F |
| 190464 | F | F | F |
| 194626 | F | T | T |
| 194627 | T | * | T |
| 194628 | F | T | T |
| 194629 | T | * | T |
| 202786 | F | F | F |
| 202787 | F | F | F |
| 202788 | F | F | F |
| 202789 | F | F | F |
| 202790 | F | F | F |
| 202791 | F | F | F |
| 202792 | F | T | T |
| 202793 | F | T | T |
| 202794 | F | T | T |
| 202795 | F | T | T |
| 202796 | F | T | T |
| 202797 | F | T | T |
| 202798 | F | T | T |
| 202799 | F | T | T |
| 205991 | T | * | T |
| 205992 | T | * | T |
| 214360 | F | T | T |
| 214361 | F | T | T |
| 214362 | F | F | F |
| 214363 | F | T | T |
| 214364 | F | T | T |
| 214365 | F | F | F |
| 214366 | F | T | T |
| 214367 | F | T | T |
| 214368 | F | T | T |
| 214369 | F | T | T |
| 221904 | F | T | T |
| 221905 | F | F | F |
| 221906 | F | T | T |
| 221907 | T | * | T |
| 221908 | F | T | T |
| 221909 | F | F | F |
| 221910 | F | T | T |
| 221911 | T | * | T |
| 296924 | F | T | T |
| 296925 | F | F | F |
| 296926 | F | T | T |
| 296927 | F | F | F |
| 374301 | F | T | T |
| 374302 | F | F | F |
| 374303 | F | T | T |
| 374304 | F | F | F |
| 379315 | F | F | F |
| 379316 | F | F | F |
| 382198 | F | F | F |
| 382199 | F | F | F |
| 384938 | F | F | F |
| 384939 | F | F | F |
Independent-effect pairs
c0(branch10203): PROVED — pair rows6944,194627(masking)<i32 as core::fmt::Display>::fmt· br_ifc1(branch10204): PROVED — pair rows6944,23896(unique-cause)<i32 as core::fmt::Display>::fmt· br_if