Decision #1 — lib.rs:232
Status: full_mcdc
Truth table
| row | c0 br 21 | c1 br 22 | outcome |
|---|---|---|---|
| 9 | * | F | F |
| 10 | * | F | F |
| 11 | * | F | F |
| 12 | * | F | F |
| 13 | * | F | F |
| 14 | * | F | F |
| 15 | * | F | F |
| 16 | * | F | F |
| 17 | F | F | F |
| 18 | F | F | F |
| 19 | F | F | F |
| 20 | * | T | T |
| 3803 | * | F | F |
| 3804 | * | F | F |
| 3805 | * | F | F |
| 3806 | * | F | F |
| 3807 | * | F | F |
| 3808 | * | F | F |
| 3809 | * | F | F |
| 3810 | * | F | F |
| 3811 | F | F | F |
| 3812 | F | F | F |
| 3813 | F | F | F |
| 3814 | * | T | T |
| 7485 | * | F | F |
| 7486 | * | F | F |
| 7487 | * | F | F |
| 7488 | * | F | F |
| 7489 | * | F | F |
| 7490 | * | F | F |
| 7491 | * | F | F |
| 7492 | * | F | F |
| 7493 | F | F | F |
| 7494 | F | F | F |
| 7495 | F | F | F |
| 7496 | * | T | T |
| 11661 | * | F | F |
| 11662 | * | F | F |
| 11663 | * | F | F |
| 11664 | * | F | F |
| 11665 | * | F | F |
| 11666 | * | T | T |
| 13037 | * | F | F |
| 13038 | * | F | F |
| 13039 | * | F | F |
| 13040 | * | F | F |
| 13041 | * | F | F |
| 13042 | * | T | T |
| 14362 | * | F | F |
| 14363 | * | F | F |
| 14364 | * | F | F |
| 14365 | * | F | F |
| 14366 | * | F | F |
| 14367 | * | T | T |
| 15738 | T | * | T |
| 15739 | F | F | F |
| 15740 | T | * | T |
| 15741 | F | F | F |
| 15742 | T | * | T |
| 15743 | F | F | F |
| 15744 | T | * | T |
| 15745 | F | F | F |
| 15746 | T | * | T |
| 15747 | F | F | F |
| 15748 | T | * | T |
| 15749 | F | F | F |
| 15750 | T | * | T |
| 15751 | F | F | F |
| 15752 | T | * | T |
| 15753 | F | F | F |
| 15754 | T | * | T |
| 15755 | F | T | T |
| 25218 | T | * | T |
| 25219 | F | F | F |
| 25220 | T | * | T |
| 25221 | F | F | F |
| 25222 | T | * | T |
| 25223 | F | F | F |
| 25224 | T | * | T |
| 25225 | F | F | F |
| 25226 | T | * | T |
| 25227 | F | F | F |
| 25228 | T | * | T |
| 25229 | F | F | F |
| 25230 | T | * | T |
| 25231 | F | F | F |
| 25232 | T | * | T |
| 25233 | F | F | F |
| 25234 | T | * | T |
| 25235 | F | T | T |
| 34655 | F | F | F |
| 34656 | F | F | F |
| 34657 | F | F | F |
| 34658 | F | F | F |
| 34659 | F | F | F |
| 34660 | F | F | F |
| 34661 | F | T | T |
| 40868 | F | F | F |
| 40869 | F | F | F |
| 40870 | F | F | F |
| 40871 | F | F | F |
| 40872 | F | F | F |
| 40873 | F | F | F |
| 40874 | F | T | T |
| 47085 | F | F | F |
| 47086 | F | F | F |
| 47087 | F | F | F |
| 47088 | F | F | F |
| 47089 | * | F | F |
| 47090 | * | F | F |
| 47091 | F | F | F |
| 47092 | F | F | F |
| 47093 | F | F | F |
| 47094 | F | F | F |
| 47095 | F | F | F |
| 47096 | F | F | F |
| 47097 | F | F | F |
| 47098 | * | T | T |
| 51213 | F | F | F |
| 51214 | F | F | F |
| 51215 | F | F | F |
| 51216 | F | F | F |
| 51217 | * | F | F |
| 51218 | * | F | F |
| 51219 | F | F | F |
| 51220 | F | F | F |
| 51221 | F | F | F |
| 51222 | F | F | F |
| 51223 | F | F | F |
| 51224 | F | F | F |
| 51225 | F | F | F |
| 51226 | * | T | T |
| 55751 | F | F | F |
| 55752 | F | F | F |
| 55753 | F | F | F |
| 55754 | F | F | F |
| 55755 | * | F | F |
| 55756 | * | F | F |
| 55757 | F | F | F |
| 55758 | F | F | F |
| 55759 | F | F | F |
| 55760 | F | F | F |
| 55761 | F | F | F |
| 55762 | F | F | F |
| 55763 | F | F | F |
| 55764 | * | T | T |
| 60009 | F | F | F |
| 60010 | F | F | F |
| 60011 | F | F | F |
| 60012 | F | F | F |
| 60013 | * | F | F |
| 60014 | * | F | F |
| 60015 | F | F | F |
| 60016 | F | F | F |
| 60017 | F | F | F |
| 60018 | F | F | F |
| 60019 | F | F | F |
| 60020 | F | F | F |
| 60021 | F | F | F |
| 60022 | * | T | T |
| 64131 | T | * | T |
| 64132 | F | F | F |
| 64133 | T | * | T |
| 64134 | F | F | F |
| 64135 | T | * | T |
| 64136 | F | F | F |
| 64137 | T | * | T |
| 64138 | F | F | F |
| 64139 | T | * | T |
| 64140 | F | F | F |
| 64141 | T | * | T |
| 64142 | F | F | F |
| 64143 | T | * | T |
| 64144 | F | F | F |
| 64145 | T | * | T |
| 64146 | F | F | F |
| 64147 | T | * | T |
| 64148 | F | T | T |
| 75644 | T | * | T |
| 75645 | F | F | F |
| 75646 | T | * | T |
| 75647 | F | F | F |
| 75648 | T | * | T |
| 75649 | F | F | F |
| 75650 | T | * | T |
| 75651 | F | F | F |
| 75652 | T | * | T |
| 75653 | F | F | F |
| 75654 | T | * | T |
| 75655 | F | F | F |
| 75656 | T | * | T |
| 75657 | F | F | F |
| 75658 | T | * | T |
| 75659 | F | F | F |
| 75660 | T | * | T |
| 75661 | F | T | T |
| 87167 | * | F | F |
| 87168 | * | F | F |
| 87169 | * | F | F |
| 87170 | * | F | F |
| 87171 | * | F | F |
| 87172 | * | F | F |
| 87173 | * | F | F |
| 87174 | * | F | F |
| 87175 | * | F | F |
| 87176 | * | F | F |
| 87177 | * | F | F |
| 87178 | * | F | F |
| 87179 | * | F | F |
| 87180 | * | F | F |
| 87181 | * | F | F |
| 87182 | * | F | F |
| 87183 | * | F | F |
| 87184 | * | F | F |
| 87185 | * | F | F |
| 87186 | * | F | F |
| 87187 | * | F | F |
| 87188 | * | F | F |
| 87189 | * | F | F |
| 87190 | * | T | T |
| 91435 | * | F | F |
| 91436 | * | F | F |
| 91437 | * | F | F |
| 91438 | * | F | F |
| 91439 | * | F | F |
| 91440 | * | F | F |
| 91441 | * | F | F |
| 91442 | * | F | F |
| 91443 | * | F | F |
| 91444 | * | F | F |
| 91445 | * | F | F |
| 91446 | * | F | F |
| 91447 | * | F | F |
| 91448 | * | F | F |
| 91449 | * | F | F |
| 91450 | * | F | F |
| 91451 | * | F | F |
| 91452 | * | F | F |
| 91453 | * | F | F |
| 91454 | * | F | F |
| 91455 | * | F | F |
| 91456 | * | F | F |
| 91457 | * | F | F |
| 91458 | * | T | T |
| 95697 | * | F | F |
| 95698 | * | T | T |
| 97749 | * | F | F |
| 97750 | * | F | F |
| 97751 | * | F | F |
| 97752 | * | F | F |
| 97753 | * | T | T |
| 99267 | * | F | F |
| 99268 | * | F | F |
| 99269 | * | F | F |
| 99270 | * | F | F |
| 99271 | * | T | T |
| 100682 | * | F | F |
| 100683 | * | F | F |
| 100684 | * | F | F |
| 100685 | * | F | F |
| 100686 | * | T | T |
| 102200 | F | F | F |
| 102201 | F | F | F |
| 102202 | F | F | F |
| 102203 | F | F | F |
| 102204 | F | F | F |
| 102205 | F | F | F |
| 102206 | F | F | F |
| 102207 | F | F | F |
| 102208 | F | F | F |
| 102209 | F | T | T |
| 104675 | * | F | F |
| 104676 | * | F | F |
| 104677 | * | F | F |
| 104678 | * | F | F |
| 104679 | * | F | F |
| 104680 | * | F | F |
| 104681 | * | F | F |
| 104682 | * | F | F |
| 104683 | * | F | F |
| 104684 | * | F | F |
| 104685 | * | F | F |
| 104686 | * | F | F |
| 104687 | * | F | F |
| 104688 | * | F | F |
| 104689 | * | F | F |
| 104690 | * | F | F |
| 104691 | * | F | F |
| 104692 | * | F | F |
| 104693 | * | F | F |
| 104694 | * | F | F |
| 104695 | * | F | F |
| 104696 | * | F | F |
| 104697 | * | F | F |
| 104698 | * | F | F |
| 104699 | * | F | F |
| 104700 | * | F | F |
| 104701 | * | F | F |
| 104702 | * | F | F |
| 104703 | * | F | F |
| 104704 | * | T | T |
| 108684 | F | F | F |
| 108685 | F | F | F |
| 108686 | F | F | F |
| 108687 | F | F | F |
| 108688 | F | F | F |
| 108689 | F | T | T |
| 110644 | * | F | F |
| 110645 | * | F | F |
| 110646 | * | F | F |
| 110647 | * | F | F |
| 110648 | * | F | F |
| 110649 | * | F | F |
| 110650 | * | F | F |
| 110651 | * | F | F |
| 110652 | * | F | F |
| 110653 | * | F | F |
| 110654 | * | F | F |
| 110655 | * | F | F |
| 110656 | * | F | F |
| 110657 | * | F | F |
| 110658 | * | F | F |
| 110659 | * | F | F |
| 110660 | * | F | F |
| 110661 | * | T | T |
| 113962 | F | F | F |
| 113963 | F | F | F |
| 113964 | F | F | F |
| 113965 | F | F | F |
| 113966 | F | F | F |
| 113967 | F | F | F |
| 113968 | F | F | F |
| 113969 | F | F | F |
| 113970 | F | T | T |
| 117117 | T | * | T |
| 117118 | F | F | F |
| 117119 | T | * | T |
| 117120 | F | F | F |
| 117121 | T | * | T |
| 117122 | F | F | F |
| 117123 | T | * | T |
| 117124 | F | F | F |
| 117125 | T | * | T |
| 117126 | F | F | F |
| 117127 | T | * | T |
| 117128 | F | F | F |
| 117129 | T | * | T |
| 117130 | F | F | F |
| 117131 | T | * | T |
| 117132 | F | F | F |
| 117133 | T | * | T |
| 117134 | F | T | T |
| 140053 | T | * | T |
| 140054 | F | F | F |
| 140055 | T | * | T |
| 140056 | F | F | F |
| 140057 | T | * | T |
| 140058 | F | F | F |
| 140059 | T | * | T |
| 140060 | F | F | F |
| 140061 | T | * | T |
| 140062 | F | F | F |
| 140063 | T | * | T |
| 140064 | F | F | F |
| 140065 | T | * | T |
| 140066 | F | F | F |
| 140067 | T | * | T |
| 140068 | F | F | F |
| 140069 | T | * | T |
| 140070 | F | T | T |
| 162989 | F | F | F |
| 162990 | F | F | F |
| 162991 | F | F | F |
| 162992 | F | T | T |
| 164544 | F | F | F |
| 164545 | F | F | F |
| 164546 | F | F | F |
| 164547 | F | T | T |
| 166265 | F | F | F |
| 166266 | F | F | F |
| 166267 | F | F | F |
| 166268 | F | T | T |
Independent-effect pairs
c0(branch21): PROVED — pair rows17,15738(masking)scry_mcdc::drive· br_ifc1(branch22): PROVED — pair rows17,15755(unique-cause)scry_mcdc::drive· br_if