Decision #447 — library/core/src/num/int_macros.rs:1960
Status: partial
Truth table
| row | c0 br 3103 | c1 br 3104 | outcome |
|---|---|---|---|
| 577 | F | F | F |
| 578 | F | F | F |
| 579 | F | F | F |
| 580 | F | F | F |
| 581 | F | F | F |
| 582 | F | F | F |
| 583 | F | F | F |
| 584 | T | * | T |
| 585 | F | F | F |
| 586 | F | F | F |
| 587 | T | * | T |
| 588 | F | F | F |
| 4371 | F | F | F |
| 4372 | F | F | F |
| 4373 | F | F | F |
| 4374 | F | F | F |
| 4375 | F | F | F |
| 4376 | F | F | F |
| 4377 | F | F | F |
| 4378 | T | * | T |
| 4379 | F | F | F |
| 4380 | F | F | F |
| 4381 | T | * | T |
| 4382 | F | F | F |
| 8101 | F | F | F |
| 8102 | F | F | F |
| 8103 | F | F | F |
| 8104 | F | F | F |
| 8105 | F | F | F |
| 8106 | F | F | F |
| 8107 | F | F | F |
| 8108 | T | * | T |
| 8109 | F | F | F |
| 8110 | F | F | F |
| 8111 | T | * | T |
| 8112 | F | F | F |
| 11876 | F | F | F |
| 11877 | F | F | F |
| 11878 | F | F | F |
| 11879 | F | F | F |
| 11880 | F | F | F |
| 11881 | F | F | F |
| 13252 | F | F | F |
| 13253 | F | F | F |
| 13254 | F | F | F |
| 13255 | F | F | F |
| 13256 | F | F | F |
| 13257 | F | F | F |
| 14577 | F | F | F |
| 14578 | F | F | F |
| 14579 | F | F | F |
| 14580 | F | F | F |
| 14581 | F | F | F |
| 14582 | F | F | F |
| 16430 | F | F | F |
| 16431 | F | F | F |
| 16432 | F | F | F |
| 16433 | F | F | F |
| 16434 | F | F | F |
| 16435 | F | F | F |
| 16436 | F | F | F |
| 16437 | F | F | F |
| 16438 | F | F | F |
| 16439 | F | F | F |
| 16440 | F | F | F |
| 16441 | F | F | F |
| 16442 | F | F | F |
| 16443 | F | F | F |
| 16444 | F | F | F |
| 16445 | F | F | F |
| 25910 | F | F | F |
| 25911 | F | F | F |
| 25912 | F | F | F |
| 25913 | F | F | F |
| 25914 | F | F | F |
| 25915 | F | F | F |
| 25916 | F | F | F |
| 25917 | F | F | F |
| 25918 | F | F | F |
| 25919 | F | F | F |
| 25920 | F | F | F |
| 25921 | F | F | F |
| 25922 | F | F | F |
| 25923 | F | F | F |
| 25924 | F | F | F |
| 25925 | F | F | F |
| 35539 | F | F | F |
| 35540 | F | F | F |
| 35541 | F | F | F |
| 35542 | F | F | F |
| 35543 | F | F | F |
| 35544 | F | F | F |
| 35545 | F | F | F |
| 35546 | F | F | F |
| 35547 | F | F | F |
| 35548 | F | F | F |
| 35549 | F | F | F |
| 35550 | F | F | F |
| 35551 | F | F | F |
| 35552 | F | F | F |
| 35553 | F | F | F |
| 41752 | F | F | F |
| 41753 | F | F | F |
| 41754 | F | F | F |
| 41755 | F | F | F |
| 41756 | F | F | F |
| 41757 | F | F | F |
| 41758 | F | F | F |
| 41759 | F | F | F |
| 41760 | F | F | F |
| 41761 | F | F | F |
| 41762 | F | F | F |
| 41763 | F | F | F |
| 41764 | F | F | F |
| 41765 | F | F | F |
| 41766 | F | F | F |
| 47777 | F | F | F |
| 47778 | F | F | F |
| 47779 | F | F | F |
| 47780 | F | F | F |
| 47781 | F | F | F |
| 47782 | F | F | F |
| 47783 | F | F | F |
| 47784 | F | F | F |
| 47785 | F | F | F |
| 47786 | F | F | F |
| 47787 | F | F | F |
| 47788 | F | F | F |
| 47789 | F | F | F |
| 47790 | F | F | F |
| 51946 | F | F | F |
| 51947 | F | F | F |
| 51948 | F | F | F |
| 51949 | F | F | F |
| 51950 | F | F | F |
| 51951 | F | F | F |
| 51952 | F | F | F |
| 51953 | F | F | F |
| 51954 | F | F | F |
| 51955 | F | F | F |
| 51956 | F | F | F |
| 51957 | F | F | F |
| 51958 | F | F | F |
| 51959 | F | F | F |
| 56484 | F | F | F |
| 56485 | F | F | F |
| 56486 | F | F | F |
| 56487 | F | F | F |
| 56488 | F | F | F |
| 56489 | F | F | F |
| 56490 | F | F | F |
| 56491 | F | F | F |
| 56492 | F | F | F |
| 56493 | F | F | F |
| 56494 | F | F | F |
| 56495 | F | F | F |
| 56496 | F | F | F |
| 56497 | F | F | F |
| 60701 | F | F | F |
| 60702 | F | F | F |
| 60703 | F | F | F |
| 60704 | F | F | F |
| 60705 | F | F | F |
| 60706 | F | F | F |
| 60707 | F | F | F |
| 60708 | F | F | F |
| 60709 | F | F | F |
| 60710 | F | F | F |
| 60711 | F | F | F |
| 60712 | F | F | F |
| 60713 | F | F | F |
| 60714 | F | F | F |
| 65026 | F | F | F |
| 65027 | F | F | F |
| 65028 | F | F | F |
| 65029 | F | F | F |
| 65030 | F | F | F |
| 65031 | F | F | F |
| 65032 | F | F | F |
| 65033 | F | F | F |
| 65034 | F | F | F |
| 65035 | F | F | F |
| 65036 | F | F | F |
| 65037 | F | F | F |
| 65038 | F | F | F |
| 65039 | F | F | F |
| 65040 | F | F | F |
| 65041 | F | F | F |
| 76539 | F | F | F |
| 76540 | F | F | F |
| 76541 | F | F | F |
| 76542 | F | F | F |
| 76543 | F | F | F |
| 76544 | F | F | F |
| 76545 | F | F | F |
| 76546 | F | F | F |
| 76547 | F | F | F |
| 76548 | F | F | F |
| 76549 | F | F | F |
| 76550 | F | F | F |
| 76551 | F | F | F |
| 76552 | F | F | F |
| 76553 | F | F | F |
| 76554 | F | F | F |
| 88072 | F | F | F |
| 88073 | F | F | F |
| 88074 | F | F | F |
| 88075 | F | F | F |
| 88076 | F | F | F |
| 88077 | F | F | F |
| 88078 | F | F | F |
| 88079 | F | F | F |
| 88080 | F | F | F |
| 88081 | F | F | F |
| 88082 | F | F | F |
| 88083 | F | F | F |
| 88084 | F | F | F |
| 88085 | F | F | F |
| 88086 | F | F | F |
| 88087 | F | F | F |
| 88088 | F | F | F |
| 88089 | F | F | F |
| 88090 | F | F | F |
| 88091 | F | F | F |
| 88092 | F | F | F |
| 88093 | F | F | F |
| 88094 | F | F | F |
| 88095 | F | F | F |
| 92340 | F | F | F |
| 92341 | F | F | F |
| 92342 | F | F | F |
| 92343 | F | F | F |
| 92344 | F | F | F |
| 92345 | F | F | F |
| 92346 | F | F | F |
| 92347 | F | F | F |
| 92348 | F | F | F |
| 92349 | F | F | F |
| 92350 | F | F | F |
| 92351 | F | F | F |
| 92352 | F | F | F |
| 92353 | F | F | F |
| 92354 | F | F | F |
| 92355 | F | F | F |
| 92356 | F | F | F |
| 92357 | F | F | F |
| 92358 | F | F | F |
| 92359 | F | F | F |
| 92360 | F | F | F |
| 92361 | F | F | F |
| 92362 | F | F | F |
| 92363 | F | F | F |
| 95995 | F | F | F |
| 95996 | F | F | F |
| 95997 | F | F | F |
| 95998 | F | F | F |
| 95999 | F | F | F |
| 96000 | F | F | F |
| 97940 | F | F | F |
| 97941 | F | F | F |
| 97942 | F | F | F |
| 97943 | F | F | F |
| 97944 | F | F | F |
| 99457 | F | F | F |
| 99458 | F | F | F |
| 99459 | F | F | F |
| 99460 | F | F | F |
| 99461 | F | F | F |
| 100873 | F | F | F |
| 100874 | F | F | F |
| 100875 | F | F | F |
| 100876 | F | F | F |
| 100877 | F | F | F |
| 102547 | F | F | F |
| 102548 | F | F | F |
| 102549 | F | F | F |
| 102550 | F | F | F |
| 102551 | F | F | F |
| 102552 | F | F | F |
| 102553 | F | F | F |
| 102554 | F | F | F |
| 102555 | F | F | F |
| 102556 | F | F | F |
| 105605 | F | F | F |
| 105606 | F | F | F |
| 105607 | F | F | F |
| 105608 | F | F | F |
| 105609 | F | F | F |
| 105610 | F | F | F |
| 105611 | F | F | F |
| 105612 | F | F | F |
| 105613 | F | F | F |
| 105614 | F | F | F |
| 105615 | F | F | F |
| 105616 | F | F | F |
| 105617 | F | F | F |
| 105618 | F | F | F |
| 105619 | F | F | F |
| 105620 | F | F | F |
| 105621 | F | F | F |
| 105622 | F | F | F |
| 105623 | F | F | F |
| 105624 | F | F | F |
| 105625 | F | F | F |
| 105626 | F | F | F |
| 105627 | F | F | F |
| 105628 | F | F | F |
| 105629 | F | F | F |
| 105630 | F | F | F |
| 105631 | F | F | F |
| 105632 | F | F | F |
| 105633 | F | F | F |
| 105634 | F | F | F |
| 108924 | F | F | F |
| 108925 | F | F | F |
| 108926 | F | F | F |
| 108927 | F | F | F |
| 108928 | F | F | F |
| 108929 | F | F | F |
| 111406 | F | F | F |
| 111407 | F | F | F |
| 111408 | F | F | F |
| 111409 | F | F | F |
| 111410 | F | F | F |
| 111411 | F | F | F |
| 111412 | F | F | F |
| 111413 | F | F | F |
| 111414 | F | F | F |
| 111415 | F | F | F |
| 111416 | F | F | F |
| 111417 | F | F | F |
| 111418 | F | F | F |
| 111419 | F | F | F |
| 111420 | F | F | F |
| 111421 | F | F | F |
| 111422 | F | F | F |
| 111423 | F | F | F |
| 111424 | F | F | F |
| 111425 | F | F | F |
| 111426 | F | F | F |
| 111427 | F | F | F |
| 111428 | F | F | F |
| 111429 | F | F | F |
| 111430 | F | F | F |
| 111431 | F | F | F |
| 111432 | F | F | F |
| 111433 | F | F | F |
| 111434 | F | F | F |
| 111435 | F | F | F |
| 111436 | F | F | F |
| 111437 | F | F | F |
| 111438 | F | F | F |
| 111439 | F | F | F |
| 114411 | F | F | F |
| 114412 | F | F | F |
| 114413 | F | F | F |
| 114414 | F | F | F |
| 114415 | F | F | F |
| 114416 | F | F | F |
| 114417 | F | F | F |
| 114418 | F | F | F |
| 114419 | F | F | F |
| 114420 | F | F | F |
| 114421 | F | F | F |
| 114422 | F | F | F |
| 114423 | F | F | F |
| 114424 | F | F | F |
| 114425 | F | F | F |
| 114426 | F | F | F |
| 114427 | F | F | F |
| 114428 | F | F | F |
| 114429 | F | F | F |
| 114430 | F | F | F |
| 118482 | F | F | F |
| 118483 | F | F | F |
| 118484 | F | F | F |
| 118485 | F | F | F |
| 118486 | F | F | F |
| 118487 | F | F | F |
| 118488 | F | F | F |
| 118489 | F | F | F |
| 118490 | F | F | F |
| 118491 | F | F | F |
| 118492 | F | F | F |
| 118493 | F | F | F |
| 118494 | F | F | F |
| 118495 | F | F | F |
| 118496 | F | F | F |
| 118497 | F | F | F |
| 118498 | F | F | F |
| 141418 | F | F | F |
| 141419 | F | F | F |
| 141420 | F | F | F |
| 141421 | F | F | F |
| 141422 | F | F | F |
| 141423 | F | F | F |
| 141424 | F | F | F |
| 141425 | F | F | F |
| 141426 | F | F | F |
| 141427 | F | F | F |
| 141428 | F | F | F |
| 141429 | F | F | F |
| 141430 | F | F | F |
| 141431 | F | F | F |
| 141432 | F | F | F |
| 141433 | F | F | F |
| 141434 | F | F | F |
| 163174 | F | F | F |
| 163175 | F | F | F |
| 163176 | F | F | F |
| 163177 | F | F | F |
| 164745 | F | F | F |
| 164746 | F | F | F |
| 164747 | F | F | F |
| 164748 | F | F | F |
| 166467 | F | F | F |
| 166468 | F | F | F |
| 166469 | F | F | F |
| 166470 | F | F | F |
Independent-effect pairs
c0(branch3103): PROVED — pair rows577,584(masking)<alloc::vec::Vec<bool> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<bool, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:5846c1(branch3104): GAP view gap →<alloc::vec::Vec<bool> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<bool, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#1}>>>::from_iter· br_if
inlined: lib.rs:5846