Decision #7 — library/alloc/src/alloc.rs:99
Status: partial
Truth table
| row | c0 br 22 | c1 br 23 | c2 br 26 | outcome |
|---|---|---|---|---|
| 30 | F | * | * | F |
| 31 | F | * | * | F |
| 32 | F | * | * | F |
| 33 | F | * | * | F |
| 34 | F | * | * | F |
| 35 | F | * | * | F |
| 36 | F | * | * | F |
| 37 | F | * | * | F |
| 38 | F | * | * | F |
| 39 | F | * | * | F |
| 40 | F | * | * | F |
| 41 | T | T | T | T |
| 3070 | F | * | * | F |
| 3071 | F | * | * | F |
| 3072 | F | * | * | F |
| 3073 | F | * | * | F |
| 3074 | F | * | * | F |
| 3075 | F | * | * | F |
| 3076 | F | * | * | F |
| 3077 | F | * | * | F |
| 3078 | F | * | * | F |
| 3079 | F | * | * | F |
| 3080 | F | * | * | F |
| 3081 | T | T | T | T |
| 5964 | F | * | * | F |
| 5965 | F | * | * | F |
| 5966 | F | * | * | F |
| 5967 | F | * | * | F |
| 5968 | F | * | * | F |
| 5969 | F | * | * | F |
| 5970 | F | * | * | F |
| 5971 | F | * | * | F |
| 5972 | F | * | * | F |
| 5973 | F | * | * | F |
| 5974 | F | * | * | F |
| 5975 | T | T | T | T |
| 9403 | F | * | * | F |
| 9404 | F | * | * | F |
| 9405 | F | * | * | F |
| 9406 | F | * | * | F |
| 9407 | F | * | * | F |
| 9408 | T | F | * | F |
| 10551 | F | * | * | F |
| 10552 | F | * | * | F |
| 10553 | F | * | * | F |
| 10554 | F | * | * | F |
| 10555 | F | * | * | F |
| 10556 | T | F | * | F |
| 11642 | F | * | * | F |
| 11643 | F | * | * | F |
| 11644 | F | * | * | F |
| 11645 | F | * | * | F |
| 11646 | F | * | * | F |
| 11647 | T | F | * | F |
| 12802 | F | * | * | F |
| 12803 | F | * | * | F |
| 12804 | F | * | * | F |
| 12805 | F | * | * | F |
| 12806 | F | * | * | F |
| 12807 | F | * | * | F |
| 12808 | F | * | * | F |
| 12809 | F | * | * | F |
| 12810 | T | F | * | F |
| 20520 | F | * | * | F |
| 20521 | F | * | * | F |
| 20522 | F | * | * | F |
| 20523 | F | * | * | F |
| 20524 | F | * | * | F |
| 20525 | F | * | * | F |
| 20526 | F | * | * | F |
| 20527 | F | * | * | F |
| 20528 | T | F | * | F |
| 28164 | F | * | * | F |
| 28165 | F | * | * | F |
| 28166 | F | * | * | F |
| 28167 | F | * | * | F |
| 28168 | F | * | * | F |
| 28169 | F | * | * | F |
| 28170 | T | F | * | F |
| 34102 | F | * | * | F |
| 34103 | F | * | * | F |
| 34104 | F | * | * | F |
| 34105 | F | * | * | F |
| 34106 | F | * | * | F |
| 34107 | F | * | * | F |
| 34108 | T | F | * | F |
| 40053 | F | * | * | F |
| 40054 | F | * | * | F |
| 40055 | F | * | * | F |
| 40056 | F | * | * | F |
| 40057 | F | * | * | F |
| 40058 | F | * | * | F |
| 40059 | F | * | * | F |
| 40060 | F | * | * | F |
| 40061 | F | * | * | F |
| 40062 | F | * | * | F |
| 40063 | F | * | * | F |
| 40064 | F | * | * | F |
| 40065 | F | * | * | F |
| 40066 | T | T | T | T |
| 43021 | F | * | * | F |
| 43022 | F | * | * | F |
| 43023 | F | * | * | F |
| 43024 | F | * | * | F |
| 43025 | F | * | * | F |
| 43026 | F | * | * | F |
| 43027 | F | * | * | F |
| 43028 | F | * | * | F |
| 43029 | F | * | * | F |
| 43030 | F | * | * | F |
| 43031 | F | * | * | F |
| 43032 | F | * | * | F |
| 43033 | F | * | * | F |
| 43034 | T | T | T | T |
| 46473 | F | * | * | F |
| 46474 | F | * | * | F |
| 46475 | F | * | * | F |
| 46476 | F | * | * | F |
| 46477 | F | * | * | F |
| 46478 | F | * | * | F |
| 46479 | F | * | * | F |
| 46480 | F | * | * | F |
| 46481 | F | * | * | F |
| 46482 | F | * | * | F |
| 46483 | F | * | * | F |
| 46484 | F | * | * | F |
| 46485 | F | * | * | F |
| 46486 | T | T | T | T |
| 49593 | F | * | * | F |
| 49594 | F | * | * | F |
| 49595 | F | * | * | F |
| 49596 | F | * | * | F |
| 49597 | F | * | * | F |
| 49598 | F | * | * | F |
| 49599 | F | * | * | F |
| 49600 | F | * | * | F |
| 49601 | F | * | * | F |
| 49602 | F | * | * | F |
| 49603 | F | * | * | F |
| 49604 | F | * | * | F |
| 49605 | F | * | * | F |
| 49606 | T | T | T | T |
| 52557 | F | * | * | F |
| 52558 | F | * | * | F |
| 52559 | F | * | * | F |
| 52560 | F | * | * | F |
| 52561 | F | * | * | F |
| 52562 | F | * | * | F |
| 52563 | F | * | * | F |
| 52564 | F | * | * | F |
| 52565 | T | F | * | F |
| 62329 | F | * | * | F |
| 62330 | F | * | * | F |
| 62331 | F | * | * | F |
| 62332 | F | * | * | F |
| 62333 | F | * | * | F |
| 62334 | F | * | * | F |
| 62335 | F | * | * | F |
| 62336 | F | * | * | F |
| 62337 | T | F | * | F |
| 72122 | F | * | * | F |
| 72123 | F | * | * | F |
| 72124 | F | * | * | F |
| 72125 | F | * | * | F |
| 72126 | F | * | * | F |
| 72127 | F | * | * | F |
| 72128 | F | * | * | F |
| 72129 | F | * | * | F |
| 72130 | F | * | * | F |
| 72131 | F | * | * | F |
| 72132 | F | * | * | F |
| 72133 | F | * | * | F |
| 72134 | F | * | * | F |
| 72135 | F | * | * | F |
| 72136 | F | * | * | F |
| 72137 | F | * | * | F |
| 72138 | F | * | * | F |
| 72139 | F | * | * | F |
| 72140 | F | * | * | F |
| 72141 | F | * | * | F |
| 72142 | F | * | * | F |
| 72143 | F | * | * | F |
| 72144 | F | * | * | F |
| 72145 | T | F | * | F |
| 75597 | F | * | * | F |
| 75598 | F | * | * | F |
| 75599 | F | * | * | F |
| 75600 | F | * | * | F |
| 75601 | F | * | * | F |
| 75602 | F | * | * | F |
| 75603 | F | * | * | F |
| 75604 | F | * | * | F |
| 75605 | F | * | * | F |
| 75606 | F | * | * | F |
| 75607 | F | * | * | F |
| 75608 | F | * | * | F |
| 75609 | F | * | * | F |
| 75610 | F | * | * | F |
| 75611 | F | * | * | F |
| 75612 | F | * | * | F |
| 75613 | F | * | * | F |
| 75614 | F | * | * | F |
| 75615 | F | * | * | F |
| 75616 | F | * | * | F |
| 75617 | F | * | * | F |
| 75618 | F | * | * | F |
| 75619 | F | * | * | F |
| 75620 | T | F | * | F |
| 79041 | F | * | * | F |
| 79042 | T | T | T | T |
| 80634 | F | * | * | F |
| 80635 | F | * | * | F |
| 80636 | F | * | * | F |
| 80637 | F | * | * | F |
| 80638 | T | F | * | F |
| 81821 | F | * | * | F |
| 81822 | F | * | * | F |
| 81823 | F | * | * | F |
| 81824 | F | * | * | F |
| 81825 | T | F | * | F |
| 82883 | F | * | * | F |
| 82884 | F | * | * | F |
| 82885 | F | * | * | F |
| 82886 | F | * | * | F |
| 82887 | T | F | * | F |
| 84066 | * | F | * | F |
| 85332 | * | F | * | F |
| 87473 | * | F | * | F |
| 88639 | * | F | * | F |
| 90674 | T | F | * | F |
| 92135 | F | * | * | F |
| 92136 | F | * | * | F |
| 92137 | F | * | * | F |
| 92138 | F | * | * | F |
| 92139 | F | * | * | F |
| 92140 | F | * | * | F |
| 92141 | F | * | * | F |
| 92142 | F | * | * | F |
| 92143 | T | F | * | F |
| 110998 | F | * | * | F |
| 110999 | F | * | * | F |
| 111000 | F | * | * | F |
| 111001 | F | * | * | F |
| 111002 | F | * | * | F |
| 111003 | F | * | * | F |
| 111004 | F | * | * | F |
| 111005 | F | * | * | F |
| 111006 | T | F | * | F |
| 129847 | F | * | * | F |
| 129848 | F | * | * | F |
| 129849 | F | * | * | F |
| 129850 | T | F | * | F |
| 131006 | F | * | * | F |
| 131007 | F | * | * | F |
| 131008 | F | * | * | F |
| 131009 | T | F | * | F |
| 132333 | F | * | * | F |
| 132334 | F | * | * | F |
| 132335 | F | * | * | F |
| 132336 | T | F | * | F |
Independent-effect pairs
c0(branch22): PROVED — pair rows30,41(masking)scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch23): PROVED — pair rows41,9408(masking)scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c2(branch26): GAP view gap →scry_mcdc::drive· br_if
inlined: library/alloc/src/boxed.rs:248 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210