Decision #396 — lib.rs:388
Status: full_mcdc
Truth table
| row | c0 br 2731 | c1 br 2732 | outcome |
|---|---|---|---|
| 9767 | F | T | T |
| 9768 | F | T | T |
| 10915 | F | T | T |
| 10916 | F | T | T |
| 12006 | F | T | T |
| 12007 | F | T | T |
| 29623 | F | T | T |
| 29624 | F | T | T |
| 29625 | F | T | T |
| 29626 | F | T | T |
| 29627 | F | T | T |
| 29628 | F | T | T |
| 29629 | F | T | T |
| 29630 | F | T | T |
| 29631 | F | T | T |
| 29632 | F | T | T |
| 29633 | F | T | T |
| 29634 | F | T | T |
| 29635 | F | T | T |
| 29636 | F | T | T |
| 29637 | F | T | T |
| 29638 | F | T | T |
| 35561 | F | T | T |
| 35562 | F | T | T |
| 35563 | F | T | T |
| 35564 | F | T | T |
| 35565 | F | T | T |
| 35566 | F | T | T |
| 35567 | F | T | T |
| 35568 | F | T | T |
| 35569 | F | T | T |
| 35570 | F | T | T |
| 35571 | F | T | T |
| 35572 | F | T | T |
| 35573 | F | T | T |
| 35574 | F | T | T |
| 35575 | F | T | T |
| 35576 | F | T | T |
| 41053 | T | * | T |
| 41054 | F | T | T |
| 41055 | T | * | T |
| 41056 | F | T | T |
| 44066 | T | * | T |
| 44067 | F | T | T |
| 44068 | T | * | T |
| 44069 | F | T | T |
| 47518 | T | * | T |
| 47519 | F | T | T |
| 47520 | T | * | T |
| 47521 | F | T | T |
| 50593 | T | * | T |
| 50594 | F | T | T |
| 50595 | T | * | T |
| 50596 | F | T | T |
| 73443 | F | F | F |
| 73444 | T | * | T |
| 73445 | F | F | F |
| 73446 | T | * | T |
| 76918 | F | F | F |
| 76919 | T | * | T |
| 76920 | F | F | F |
| 76921 | T | * | T |
| 80974 | F | T | T |
| 80975 | F | T | T |
| 80976 | F | T | T |
| 80977 | F | T | T |
| 82161 | F | T | T |
| 82162 | F | T | T |
| 82163 | F | T | T |
| 82164 | F | T | T |
| 83223 | F | T | T |
| 83224 | F | T | T |
| 83225 | F | T | T |
| 83226 | F | T | T |
| 93860 | F | T | T |
| 93861 | F | T | T |
| 93862 | F | T | T |
| 93863 | F | T | T |
| 93864 | F | F | F |
| 93865 | T | * | T |
| 93866 | T | * | T |
| 93867 | T | * | T |
| 93868 | T | * | T |
| 93869 | F | T | T |
| 93870 | F | T | T |
| 93871 | F | T | T |
| 93872 | F | T | T |
| 93873 | F | F | F |
| 93874 | T | * | T |
| 93875 | T | * | T |
| 93876 | T | * | T |
| 93877 | T | * | T |
| 112723 | F | T | T |
| 112724 | F | T | T |
| 112725 | F | T | T |
| 112726 | F | T | T |
| 112727 | F | F | F |
| 112728 | T | * | T |
| 112729 | T | * | T |
| 112730 | T | * | T |
| 112731 | T | * | T |
| 112732 | F | T | T |
| 112733 | F | T | T |
| 112734 | F | T | T |
| 112735 | F | T | T |
| 112736 | F | F | F |
| 112737 | T | * | T |
| 112738 | T | * | T |
| 112739 | T | * | T |
| 112740 | T | * | T |
| 130179 | T | * | T |
| 130180 | T | * | T |
| 131354 | T | * | T |
| 131355 | T | * | T |
| 132681 | T | * | T |
| 132682 | T | * | T |
Independent-effect pairs
c0(branch2731): PROVED — pair rows41053,73443(masking)scry_interval::i32_add· br_ifc1(branch2732): PROVED — pair rows9767,73443(unique-cause)scry_interval::i32_add· br_if