Decision #939 — library/alloc/src/alloc.rs:99
Status: full_mcdc
Truth table
| row | c0 br 6145 | c1 br 6146 | outcome |
|---|---|---|---|
| 33271 | T | * | T |
| 33272 | F | F | F |
| 33273 | T | * | T |
| 33274 | F | T | T |
| 33275 | T | * | T |
| 33276 | F | F | F |
| 33277 | T | * | T |
| 33278 | F | T | T |
| 54125 | T | * | T |
| 54126 | F | F | F |
| 54127 | T | * | T |
| 54128 | F | T | T |
| 54129 | T | * | T |
| 54130 | F | F | F |
| 54131 | T | * | T |
| 54132 | F | T | T |
| 125516 | T | * | T |
| 125517 | F | F | F |
| 125518 | T | * | T |
| 125519 | F | T | T |
| 125520 | T | * | T |
| 125521 | F | F | F |
| 125522 | T | * | T |
| 125523 | F | T | T |
| 125524 | T | * | T |
| 125525 | F | F | F |
| 125526 | T | * | T |
| 125527 | F | T | T |
| 125528 | T | * | T |
| 125529 | F | F | F |
| 125530 | T | * | T |
| 125531 | F | T | T |
| 125532 | T | * | T |
| 125533 | F | F | F |
| 125534 | T | * | T |
| 125535 | F | T | T |
| 125536 | T | * | T |
| 125537 | F | F | F |
| 125538 | T | * | T |
| 125539 | F | T | T |
| 125540 | T | * | T |
| 125541 | F | F | F |
| 125542 | T | * | T |
| 125543 | F | T | T |
| 125544 | T | * | T |
| 125545 | F | F | F |
| 125546 | T | * | T |
| 125547 | F | T | T |
| 142235 | T | * | T |
| 142236 | F | F | F |
| 142237 | T | * | T |
| 142238 | F | T | T |
| 142239 | T | * | T |
| 142240 | F | F | F |
| 142241 | T | * | T |
| 142242 | F | T | T |
| 142243 | T | * | T |
| 142244 | F | F | F |
| 142245 | T | * | T |
| 142246 | F | T | T |
| 142247 | T | * | T |
| 142248 | F | F | F |
| 142249 | T | * | T |
| 142250 | F | T | T |
| 142251 | T | * | T |
| 142252 | F | F | F |
| 142253 | T | * | T |
| 142254 | F | T | T |
| 142255 | T | * | T |
| 142256 | F | F | F |
| 142257 | T | * | T |
| 142258 | F | T | T |
| 142259 | T | * | T |
| 142260 | F | F | F |
| 142261 | T | * | T |
| 142262 | F | T | T |
| 142263 | T | * | T |
| 142264 | F | F | F |
| 142265 | T | * | T |
| 142266 | F | T | T |
| 237923 | T | * | T |
| 237924 | F | F | F |
| 237925 | T | * | T |
| 237926 | F | T | T |
| 237927 | F | F | F |
| 237928 | F | F | F |
| 237929 | F | F | F |
| 237930 | F | F | F |
| 237931 | F | F | F |
| 237932 | F | F | F |
| 237933 | F | F | F |
| 237934 | F | F | F |
| 237935 | F | F | F |
| 237936 | F | F | F |
| 237937 | F | F | F |
| 237938 | F | F | F |
| 237939 | F | F | F |
| 237940 | F | F | F |
| 237941 | F | F | F |
| 237942 | F | F | F |
| 237943 | F | F | F |
| 237944 | F | F | F |
| 237945 | F | F | F |
| 237946 | F | F | F |
| 237947 | T | * | T |
| 237948 | F | F | F |
| 237949 | T | * | T |
| 237950 | F | T | T |
| 237951 | F | F | F |
| 237952 | F | F | F |
| 237953 | F | F | F |
| 237954 | F | F | F |
| 237955 | F | F | F |
| 237956 | F | F | F |
| 237957 | F | F | F |
| 237958 | F | F | F |
| 237959 | F | F | F |
| 237960 | F | F | F |
| 237961 | F | F | F |
| 237962 | F | F | F |
| 237963 | F | F | F |
| 237964 | F | F | F |
| 237965 | F | F | F |
| 237966 | F | F | F |
| 237967 | F | F | F |
| 237968 | F | F | F |
| 237969 | F | F | F |
| 237970 | F | F | F |
| 315300 | T | * | T |
| 315301 | F | F | F |
| 315302 | T | * | T |
| 315303 | F | T | T |
| 315304 | F | F | F |
| 315305 | F | F | F |
| 315306 | F | F | F |
| 315307 | F | F | F |
| 315308 | F | F | F |
| 315309 | F | F | F |
| 315310 | F | F | F |
| 315311 | F | F | F |
| 315312 | F | F | F |
| 315313 | F | F | F |
| 315314 | F | F | F |
| 315315 | F | F | F |
| 315316 | F | F | F |
| 315317 | F | F | F |
| 315318 | F | F | F |
| 315319 | F | F | F |
| 315320 | F | F | F |
| 315321 | F | F | F |
| 315322 | F | F | F |
| 315323 | F | F | F |
| 315324 | T | * | T |
| 315325 | F | F | F |
| 315326 | T | * | T |
| 315327 | F | T | T |
| 315328 | F | F | F |
| 315329 | F | F | F |
| 315330 | F | F | F |
| 315331 | F | F | F |
| 315332 | F | F | F |
| 315333 | F | F | F |
| 315334 | F | F | F |
| 315335 | F | F | F |
| 315336 | F | F | F |
| 315337 | F | F | F |
| 315338 | F | F | F |
| 315339 | F | F | F |
| 315340 | F | F | F |
| 315341 | F | F | F |
| 315342 | F | F | F |
| 315343 | F | F | F |
| 315344 | F | F | F |
| 315345 | F | F | F |
| 315346 | F | F | F |
| 315347 | F | F | F |
Independent-effect pairs
c0(branch6145): PROVED — pair rows33271,33272(masking)<scry_poly::Poly>::add_constraint· br_if
inlined: library/alloc/src/raw_vec/mod.rs:435c1(branch6146): PROVED — pair rows33272,33274(unique-cause)<scry_poly::Poly>::add_constraint· br_if