Decision #1550 — memchr.rs:40
Status: full_mcdc
Truth table
| row | c0 br 10126 | c1 br 10127 | outcome |
|---|---|---|---|
| 6939 | F | F | F |
| 6940 | T | * | T |
| 6941 | F | F | F |
| 6942 | T | * | T |
| 6943 | T | * | T |
| 13678 | T | * | T |
| 13679 | T | * | T |
| 21138 | F | F | F |
| 21139 | T | * | T |
| 21140 | F | F | F |
| 21141 | T | * | T |
| 21142 | F | F | F |
| 21143 | T | * | T |
| 21144 | F | F | F |
| 21145 | T | * | T |
| 21146 | F | F | F |
| 21147 | T | * | T |
| 21148 | F | F | F |
| 21149 | T | * | T |
| 21150 | T | * | T |
| 49729 | F | F | F |
| 49730 | T | * | T |
| 49731 | T | * | T |
| 49732 | T | * | T |
| 49733 | F | F | F |
| 49734 | F | F | F |
| 49735 | T | * | T |
| 49736 | T | * | T |
| 49737 | T | * | T |
| 49738 | T | * | T |
| 49739 | T | * | T |
| 49740 | T | * | T |
| 49741 | T | * | T |
| 49742 | T | * | T |
| 49743 | T | * | T |
| 49744 | T | * | T |
| 49745 | T | * | T |
| 49746 | T | * | T |
| 49747 | T | * | T |
| 49748 | T | * | T |
| 49749 | T | * | T |
| 49750 | T | * | T |
| 49751 | T | * | T |
| 49752 | T | * | T |
| 49753 | T | * | T |
| 49754 | T | * | T |
| 49755 | T | * | T |
| 49756 | T | * | T |
| 49757 | T | * | T |
| 49758 | F | F | F |
| 70453 | F | F | F |
| 70454 | T | * | T |
| 70455 | T | * | T |
| 70456 | T | * | T |
| 70457 | F | F | F |
| 70458 | F | F | F |
| 70459 | T | * | T |
| 70460 | T | * | T |
| 70461 | T | * | T |
| 70462 | T | * | T |
| 70463 | T | * | T |
| 70464 | T | * | T |
| 70465 | T | * | T |
| 70466 | T | * | T |
| 70467 | T | * | T |
| 70468 | T | * | T |
| 70469 | T | * | T |
| 70470 | T | * | T |
| 70471 | T | * | T |
| 70472 | T | * | T |
| 70473 | T | * | T |
| 70474 | T | * | T |
| 70475 | T | * | T |
| 70476 | T | * | T |
| 70477 | T | * | T |
| 70478 | T | * | T |
| 70479 | T | * | T |
| 70480 | T | * | T |
| 70481 | T | * | T |
| 70482 | F | F | F |
| 80698 | T | * | T |
| 80699 | T | * | T |
| 80700 | T | * | T |
| 80701 | T | * | T |
| 80702 | T | * | T |
| 80703 | T | * | T |
| 80704 | T | * | T |
| 80705 | T | * | T |
| 80706 | T | * | T |
| 80707 | T | * | T |
| 80708 | T | * | T |
| 80709 | T | * | T |
| 80710 | T | * | T |
| 80711 | T | * | T |
| 80712 | T | * | T |
| 80713 | T | * | T |
| 80714 | T | * | T |
| 80715 | T | * | T |
| 80716 | T | * | T |
| 80717 | T | * | T |
| 80718 | T | * | T |
| 80719 | T | * | T |
| 80720 | T | * | T |
| 80721 | T | * | T |
| 80722 | T | * | T |
| 80723 | T | * | T |
| 80724 | T | * | T |
| 80725 | T | * | T |
| 80726 | T | * | T |
| 80727 | T | * | T |
| 90581 | T | * | T |
| 90582 | T | * | T |
| 90583 | T | * | T |
| 90584 | T | * | T |
| 90585 | T | * | T |
| 90586 | T | * | T |
| 90587 | T | * | T |
| 90588 | T | * | T |
| 90589 | T | * | T |
| 90590 | T | * | T |
| 90591 | T | * | T |
| 90592 | T | * | T |
| 90593 | T | * | T |
| 90594 | T | * | T |
| 90595 | T | * | T |
| 90596 | T | * | T |
| 90597 | T | * | T |
| 90598 | T | * | T |
| 90599 | T | * | T |
| 90600 | T | * | T |
| 90601 | T | * | T |
| 90602 | T | * | T |
| 90603 | T | * | T |
| 90604 | T | * | T |
| 90605 | T | * | T |
| 90606 | T | * | T |
| 90607 | T | * | T |
| 90608 | T | * | T |
| 90609 | T | * | T |
| 90610 | T | * | T |
| 98392 | T | * | T |
| 98393 | F | F | F |
| 98394 | T | * | T |
| 98395 | T | * | T |
| 98396 | T | * | T |
| 98397 | T | * | T |
| 98398 | T | * | T |
| 98399 | T | * | T |
| 106873 | T | * | T |
| 106874 | F | F | F |
| 106875 | T | * | T |
| 106876 | T | * | T |
| 106877 | T | * | T |
| 106878 | T | * | T |
| 106879 | T | * | T |
| 106880 | F | F | F |
| 106881 | T | * | T |
| 106882 | F | F | F |
| 106883 | T | * | T |
| 106884 | F | F | F |
| 106885 | T | * | T |
| 106886 | F | F | F |
| 106887 | T | * | T |
| 106888 | T | * | T |
| 106889 | T | * | T |
| 106890 | T | * | T |
| 106891 | T | * | T |
| 106892 | T | * | T |
| 114960 | T | * | T |
| 114961 | T | * | T |
| 114962 | T | * | T |
| 114963 | F | F | F |
| 114964 | T | * | T |
| 114965 | F | F | F |
| 114966 | T | * | T |
| 114967 | T | * | T |
| 114968 | T | * | T |
| 114969 | T | * | T |
| 114970 | T | * | T |
| 114971 | T | * | T |
| 122736 | T | * | T |
| 122737 | F | F | F |
| 122738 | T | * | T |
| 122739 | T | * | T |
| 122740 | T | * | T |
| 122741 | T | * | T |
| 122742 | T | * | T |
| 122743 | T | * | T |
| 139410 | T | * | T |
| 139411 | F | F | F |
| 139412 | T | * | T |
| 139413 | T | * | T |
| 139414 | F | F | F |
| 139415 | T | * | T |
| 139416 | T | * | T |
| 139417 | T | * | T |
| 139418 | T | * | T |
| 139419 | T | * | T |
| 139420 | T | * | T |
| 139421 | T | * | T |
| 139422 | T | * | T |
| 139423 | T | * | T |
| 139424 | T | * | T |
| 139425 | T | * | T |
| 139426 | T | * | T |
| 139427 | F | F | F |
| 139428 | T | * | T |
| 139429 | T | * | T |
| 139430 | T | * | T |
| 139431 | T | * | T |
| 139432 | T | * | T |
| 139433 | T | * | T |
| 139434 | T | * | T |
| 139435 | T | * | T |
| 139436 | T | * | T |
| 139437 | T | * | T |
| 139438 | T | * | T |
| 139439 | T | * | T |
| 139440 | T | * | T |
| 139441 | T | * | T |
| 139442 | T | * | T |
| 139443 | F | F | F |
| 156129 | T | * | T |
| 156130 | F | F | F |
| 156131 | T | * | T |
| 156132 | T | * | T |
| 156133 | F | F | F |
| 156134 | T | * | T |
| 156135 | T | * | T |
| 156136 | T | * | T |
| 156137 | T | * | T |
| 156138 | T | * | T |
| 156139 | T | * | T |
| 156140 | T | * | T |
| 156141 | T | * | T |
| 156142 | T | * | T |
| 156143 | T | * | T |
| 156144 | T | * | T |
| 156145 | T | * | T |
| 156146 | F | F | F |
| 156147 | T | * | T |
| 156148 | T | * | T |
| 156149 | T | * | T |
| 156150 | T | * | T |
| 156151 | T | * | T |
| 156152 | T | * | T |
| 156153 | T | * | T |
| 156154 | T | * | T |
| 156155 | T | * | T |
| 156156 | T | * | T |
| 156157 | T | * | T |
| 156158 | T | * | T |
| 156159 | T | * | T |
| 156160 | T | * | T |
| 156161 | T | * | T |
| 156162 | F | F | F |
| 180720 | F | F | F |
| 180721 | F | F | F |
| 180722 | T | * | T |
| 180723 | F | F | F |
| 180724 | T | * | T |
| 184033 | F | F | F |
| 190460 | F | F | F |
| 194624 | T | * | T |
| 194625 | T | * | T |
| 202784 | T | * | T |
| 202785 | F | F | F |
| 205989 | T | * | T |
| 205990 | T | * | T |
| 214356 | T | * | T |
| 214357 | F | F | F |
| 214358 | F | F | F |
| 214359 | F | F | F |
| 221888 | T | * | T |
| 221889 | T | * | T |
| 221890 | F | T | T |
| 221891 | T | * | T |
| 221892 | T | * | T |
| 221893 | T | * | T |
| 221894 | T | * | T |
| 221895 | T | * | T |
| 221896 | T | * | T |
| 221897 | T | * | T |
| 221898 | T | * | T |
| 221899 | T | * | T |
| 221900 | T | * | T |
| 221901 | T | * | T |
| 221902 | T | * | T |
| 221903 | T | * | T |
| 296890 | F | F | F |
| 296891 | T | * | T |
| 296892 | F | F | F |
| 296893 | T | * | T |
| 296894 | T | * | T |
| 296895 | T | * | T |
| 296896 | F | F | F |
| 296897 | T | * | T |
| 296898 | T | * | T |
| 296899 | T | * | T |
| 296900 | T | * | T |
| 296901 | T | * | T |
| 296902 | T | * | T |
| 296903 | F | F | F |
| 296904 | T | * | T |
| 296905 | T | * | T |
| 296906 | T | * | T |
| 296907 | T | * | T |
| 296908 | T | * | T |
| 296909 | T | * | T |
| 296910 | T | * | T |
| 296911 | T | * | T |
| 296912 | T | * | T |
| 296913 | T | * | T |
| 296914 | T | * | T |
| 296915 | T | * | T |
| 296916 | T | * | T |
| 296917 | T | * | T |
| 296918 | T | * | T |
| 296919 | T | * | T |
| 296920 | T | * | T |
| 296921 | T | * | T |
| 296922 | T | * | T |
| 296923 | T | * | T |
| 374267 | F | F | F |
| 374268 | T | * | T |
| 374269 | F | F | F |
| 374270 | T | * | T |
| 374271 | T | * | T |
| 374272 | T | * | T |
| 374273 | F | F | F |
| 374274 | T | * | T |
| 374275 | T | * | T |
| 374276 | T | * | T |
| 374277 | T | * | T |
| 374278 | T | * | T |
| 374279 | T | * | T |
| 374280 | F | F | F |
| 374281 | T | * | T |
| 374282 | T | * | T |
| 374283 | T | * | T |
| 374284 | T | * | T |
| 374285 | T | * | T |
| 374286 | T | * | T |
| 374287 | T | * | T |
| 374288 | T | * | T |
| 374289 | T | * | T |
| 374290 | T | * | T |
| 374291 | T | * | T |
| 374292 | T | * | T |
| 374293 | T | * | T |
| 374294 | T | * | T |
| 374295 | T | * | T |
| 374296 | T | * | T |
| 374297 | T | * | T |
| 374298 | T | * | T |
| 374299 | T | * | T |
| 374300 | T | * | T |
| 379313 | T | * | T |
| 379314 | T | * | T |
| 382192 | T | * | T |
| 382193 | T | * | T |
| 382194 | T | * | T |
| 382195 | T | * | T |
| 382196 | T | * | T |
| 382197 | T | * | T |
| 384934 | T | * | T |
| 384935 | T | * | T |
| 384936 | T | * | T |
| 384937 | T | * | T |
Independent-effect pairs
c0(branch10126): PROVED — pair rows6939,6940(masking)<u32 as core::fmt::Display>::fmt· br_if
inlined: mod.rs:2458 ← memchr.rs:74c1(branch10127): PROVED — pair rows6939,221890(unique-cause)<u32 as core::fmt::Display>::fmt· br_if
inlined: mod.rs:2458 ← memchr.rs:74