Decision #2 — lib.rs:233
Status: full_mcdc
Truth table
| row | c0 br 20 | c1 br 26 | outcome |
|---|---|---|---|
| 6 | F | * | F |
| 7 | F | * | F |
| 8 | F | * | F |
| 9 | F | * | F |
| 10 | F | * | F |
| 11 | F | * | F |
| 12 | F | * | F |
| 13 | F | * | F |
| 14 | F | * | F |
| 15 | T | F | F |
| 16 | T | F | F |
| 17 | T | F | F |
| 6966 | F | * | F |
| 6967 | F | * | F |
| 6968 | F | * | F |
| 6969 | F | * | F |
| 6970 | F | * | F |
| 6971 | F | * | F |
| 6972 | F | * | F |
| 6973 | F | * | F |
| 6974 | F | * | F |
| 6975 | T | F | F |
| 6976 | T | F | F |
| 6977 | T | F | F |
| 13703 | F | * | F |
| 13704 | F | * | F |
| 13705 | F | * | F |
| 13706 | F | * | F |
| 13707 | F | * | F |
| 13708 | F | * | F |
| 13709 | F | * | F |
| 13710 | F | * | F |
| 13711 | F | * | F |
| 13712 | T | F | F |
| 13713 | T | F | F |
| 13714 | T | F | F |
| 21169 | F | * | F |
| 21170 | F | * | F |
| 21171 | F | * | F |
| 21172 | F | * | F |
| 21173 | F | * | F |
| 21174 | F | * | F |
| 23912 | F | * | F |
| 23913 | F | * | F |
| 23914 | F | * | F |
| 23915 | F | * | F |
| 23916 | F | * | F |
| 23917 | F | * | F |
| 26555 | F | * | F |
| 26556 | F | * | F |
| 26557 | F | * | F |
| 26558 | F | * | F |
| 26559 | F | * | F |
| 26560 | F | * | F |
| 29298 | T | T | T |
| 29299 | T | F | F |
| 29300 | * | T | T |
| 29301 | T | F | F |
| 29302 | * | T | T |
| 29303 | T | F | F |
| 29304 | * | T | T |
| 29305 | T | F | F |
| 29306 | * | T | T |
| 29307 | T | F | F |
| 29308 | * | T | T |
| 29309 | T | F | F |
| 29310 | * | T | T |
| 29311 | T | F | F |
| 29312 | * | T | T |
| 29313 | T | F | F |
| 29314 | * | T | T |
| 29315 | * | F | F |
| 50153 | T | T | T |
| 50154 | T | F | F |
| 50155 | * | T | T |
| 50156 | T | F | F |
| 50157 | * | T | T |
| 50158 | T | F | F |
| 50159 | * | T | T |
| 50160 | T | F | F |
| 50161 | * | T | T |
| 50162 | T | F | F |
| 50163 | * | T | T |
| 50164 | T | F | F |
| 50165 | * | T | T |
| 50166 | T | F | F |
| 50167 | * | T | T |
| 50168 | T | F | F |
| 50169 | * | T | T |
| 50170 | * | F | F |
| 70877 | T | F | F |
| 70878 | T | F | F |
| 70879 | T | F | F |
| 70880 | T | F | F |
| 70881 | T | F | F |
| 70882 | T | F | F |
| 70883 | T | F | F |
| 80760 | T | F | F |
| 80761 | T | F | F |
| 80762 | T | F | F |
| 80763 | T | F | F |
| 80764 | T | F | F |
| 80765 | T | F | F |
| 80766 | T | F | F |
| 90645 | T | F | F |
| 90646 | T | F | F |
| 90647 | T | F | F |
| 90648 | T | F | F |
| 90649 | F | * | F |
| 90650 | F | * | F |
| 90651 | F | * | F |
| 90652 | T | F | F |
| 90653 | T | F | F |
| 90654 | T | F | F |
| 90655 | T | F | F |
| 90656 | T | F | F |
| 90657 | T | F | F |
| 90658 | T | F | F |
| 98419 | T | F | F |
| 98420 | T | F | F |
| 98421 | T | F | F |
| 98422 | T | F | F |
| 98423 | F | * | F |
| 98424 | F | * | F |
| 98425 | F | * | F |
| 98426 | T | F | F |
| 98427 | T | F | F |
| 98428 | T | F | F |
| 98429 | T | F | F |
| 98430 | T | F | F |
| 98431 | T | F | F |
| 98432 | T | F | F |
| 106912 | T | F | F |
| 106913 | T | F | F |
| 106914 | T | F | F |
| 106915 | T | F | F |
| 106916 | F | * | F |
| 106917 | F | * | F |
| 106918 | F | * | F |
| 106919 | T | F | F |
| 106920 | T | F | F |
| 106921 | T | F | F |
| 106922 | T | F | F |
| 106923 | T | F | F |
| 106924 | T | F | F |
| 106925 | T | F | F |
| 114989 | T | F | F |
| 114990 | T | F | F |
| 114991 | T | F | F |
| 114992 | T | F | F |
| 114993 | F | * | F |
| 114994 | F | * | F |
| 114995 | F | * | F |
| 114996 | T | F | F |
| 114997 | T | F | F |
| 114998 | T | F | F |
| 114999 | T | F | F |
| 115000 | T | F | F |
| 115001 | T | F | F |
| 115002 | T | F | F |
| 122759 | T | T | T |
| 122760 | T | F | F |
| 122761 | * | T | T |
| 122762 | T | F | F |
| 122763 | * | T | T |
| 122764 | T | F | F |
| 122765 | * | T | T |
| 122766 | T | F | F |
| 122767 | * | T | T |
| 122768 | T | F | F |
| 122769 | * | T | T |
| 122770 | T | F | F |
| 122771 | * | T | T |
| 122772 | T | F | F |
| 122773 | * | T | T |
| 122774 | T | F | F |
| 122775 | * | T | T |
| 122776 | * | F | F |
| 139478 | T | T | T |
| 139479 | T | F | F |
| 139480 | * | T | T |
| 139481 | T | F | F |
| 139482 | * | T | T |
| 139483 | T | F | F |
| 139484 | * | T | T |
| 139485 | T | F | F |
| 139486 | * | T | T |
| 139487 | T | F | F |
| 139488 | * | T | T |
| 139489 | T | F | F |
| 139490 | * | T | T |
| 139491 | T | F | F |
| 139492 | * | T | T |
| 139493 | T | F | F |
| 139494 | * | T | T |
| 139495 | * | F | F |
| 156202 | F | * | F |
| 156203 | F | * | F |
| 156204 | F | * | F |
| 156205 | F | * | F |
| 156206 | F | * | F |
| 156207 | F | * | F |
| 156208 | F | * | F |
| 156209 | F | * | F |
| 156210 | F | * | F |
| 156211 | F | * | F |
| 156212 | F | * | F |
| 156213 | F | * | F |
| 156214 | F | * | F |
| 156215 | F | * | F |
| 156216 | F | * | F |
| 156217 | F | * | F |
| 156218 | F | * | F |
| 156219 | F | * | F |
| 156220 | F | * | F |
| 156221 | F | * | F |
| 156222 | F | * | F |
| 156223 | F | * | F |
| 156224 | F | * | F |
| 156225 | F | * | F |
| 166060 | F | * | F |
| 166061 | F | * | F |
| 166062 | F | * | F |
| 166063 | F | * | F |
| 166064 | F | * | F |
| 166065 | F | * | F |
| 166066 | F | * | F |
| 166067 | F | * | F |
| 166068 | F | * | F |
| 166069 | F | * | F |
| 166070 | F | * | F |
| 166071 | F | * | F |
| 166072 | F | * | F |
| 166073 | F | * | F |
| 166074 | F | * | F |
| 166075 | F | * | F |
| 166076 | F | * | F |
| 166077 | F | * | F |
| 166078 | F | * | F |
| 166079 | F | * | F |
| 166080 | F | * | F |
| 166081 | F | * | F |
| 166082 | F | * | F |
| 166083 | F | * | F |
| 175916 | F | * | F |
| 175917 | F | * | F |
| 180727 | F | * | F |
| 180728 | F | * | F |
| 180729 | F | * | F |
| 180730 | F | * | F |
| 180731 | F | * | F |
| 184047 | F | * | F |
| 184048 | F | * | F |
| 184049 | F | * | F |
| 184050 | F | * | F |
| 184051 | F | * | F |
| 187154 | F | * | F |
| 187155 | F | * | F |
| 187156 | F | * | F |
| 187157 | F | * | F |
| 187158 | F | * | F |
| 190474 | T | F | F |
| 190475 | T | F | F |
| 190476 | T | F | F |
| 190477 | T | F | F |
| 190478 | T | F | F |
| 190479 | T | F | F |
| 190480 | T | F | F |
| 190481 | T | F | F |
| 190482 | T | F | F |
| 190483 | T | F | F |
| 194638 | F | * | F |
| 194639 | F | * | F |
| 194640 | F | * | F |
| 194641 | F | * | F |
| 194642 | F | * | F |
| 194643 | F | * | F |
| 194644 | F | * | F |
| 194645 | F | * | F |
| 194646 | F | * | F |
| 194647 | F | * | F |
| 194648 | F | * | F |
| 194649 | F | * | F |
| 194650 | F | * | F |
| 194651 | F | * | F |
| 194652 | F | * | F |
| 194653 | F | * | F |
| 194654 | F | * | F |
| 194655 | F | * | F |
| 194656 | F | * | F |
| 194657 | F | * | F |
| 194658 | F | * | F |
| 194659 | F | * | F |
| 194660 | F | * | F |
| 194661 | F | * | F |
| 194662 | F | * | F |
| 194663 | F | * | F |
| 194664 | F | * | F |
| 194665 | F | * | F |
| 194666 | F | * | F |
| 194667 | F | * | F |
| 202816 | T | F | F |
| 202817 | T | F | F |
| 202818 | T | F | F |
| 202819 | T | F | F |
| 202820 | T | F | F |
| 202821 | T | F | F |
| 205999 | F | * | F |
| 206000 | F | * | F |
| 206001 | F | * | F |
| 206002 | F | * | F |
| 206003 | F | * | F |
| 206004 | F | * | F |
| 206005 | F | * | F |
| 206006 | F | * | F |
| 206007 | F | * | F |
| 206008 | F | * | F |
| 206009 | F | * | F |
| 206010 | F | * | F |
| 206011 | F | * | F |
| 206012 | F | * | F |
| 206013 | F | * | F |
| 206014 | F | * | F |
| 206015 | F | * | F |
| 206016 | F | * | F |
| 214383 | T | F | F |
| 214384 | T | F | F |
| 214385 | T | F | F |
| 214386 | T | F | F |
| 214387 | T | F | F |
| 214388 | T | F | F |
| 214389 | T | F | F |
| 214390 | T | F | F |
| 214391 | T | F | F |
| 221931 | T | T | T |
| 221932 | T | F | F |
| 221933 | * | T | T |
| 221934 | T | F | F |
| 221935 | * | T | T |
| 221936 | T | F | F |
| 221937 | * | T | T |
| 221938 | T | F | F |
| 221939 | * | T | T |
| 221940 | T | F | F |
| 221941 | * | T | T |
| 221942 | T | F | F |
| 221943 | * | T | T |
| 221944 | T | F | F |
| 221945 | * | T | T |
| 221946 | T | F | F |
| 221947 | * | T | T |
| 221948 | * | F | F |
| 299308 | T | T | T |
| 299309 | T | F | F |
| 299310 | * | T | T |
| 299311 | T | F | F |
| 299312 | * | T | T |
| 299313 | T | F | F |
| 299314 | * | T | T |
| 299315 | T | F | F |
| 299316 | * | T | T |
| 299317 | T | F | F |
| 299318 | * | T | T |
| 299319 | T | F | F |
| 299320 | * | T | T |
| 299321 | T | F | F |
| 299322 | * | T | T |
| 299323 | T | F | F |
| 299324 | * | T | T |
| 299325 | * | F | F |
| 376685 | T | F | F |
| 376686 | T | F | F |
| 376687 | T | F | F |
| 376688 | T | F | F |
| 379322 | T | F | F |
| 379323 | T | F | F |
| 379324 | T | F | F |
| 379325 | T | F | F |
| 382205 | T | F | F |
| 382206 | T | F | F |
| 382207 | T | F | F |
| 382208 | T | F | F |
Independent-effect pairs
c0(branch20): PROVED — pair rows6,29298(masking)scry_mcdc::drive· br_ifc1(branch26): PROVED — pair rows15,29298(unique-cause)scry_mcdc::drive· br_if