Decision #959 — library/alloc/src/raw_vec/mod.rs:777
Status: no_witness
Truth table
| row | c0 br 6199 | c1 br 6200 | outcome |
|---|---|---|---|
| 33596 | F | F | F |
| 33597 | F | F | F |
| 33598 | F | F | F |
| 33599 | F | F | F |
| 33600 | F | F | F |
| 33601 | F | F | F |
| 33602 | F | F | F |
| 33603 | F | F | F |
| 54450 | F | F | F |
| 54451 | F | F | F |
| 54452 | F | F | F |
| 54453 | F | F | F |
| 54454 | F | F | F |
| 54455 | F | F | F |
| 54456 | F | F | F |
| 54457 | F | F | F |
| 73541 | F | F | F |
| 73542 | F | F | F |
| 73543 | F | F | F |
| 73544 | F | F | F |
| 73545 | F | F | F |
| 73546 | F | F | F |
| 73547 | F | F | F |
| 73548 | F | F | F |
| 73549 | F | F | F |
| 73550 | F | F | F |
| 73551 | F | F | F |
| 73552 | F | F | F |
| 73553 | F | F | F |
| 73554 | F | F | F |
| 83424 | F | F | F |
| 83425 | F | F | F |
| 83426 | F | F | F |
| 83427 | F | F | F |
| 83428 | F | F | F |
| 83429 | F | F | F |
| 83430 | F | F | F |
| 83431 | F | F | F |
| 83432 | F | F | F |
| 83433 | F | F | F |
| 83434 | F | F | F |
| 83435 | F | F | F |
| 83436 | F | F | F |
| 83437 | F | F | F |
| 125639 | F | F | F |
| 125640 | F | F | F |
| 125641 | F | F | F |
| 125642 | F | F | F |
| 125643 | F | F | F |
| 125644 | F | F | F |
| 125645 | F | F | F |
| 125646 | F | F | F |
| 125647 | F | F | F |
| 125648 | F | F | F |
| 125649 | F | F | F |
| 125650 | F | F | F |
| 125651 | F | F | F |
| 125652 | F | F | F |
| 125653 | F | F | F |
| 125654 | F | F | F |
| 142358 | F | F | F |
| 142359 | F | F | F |
| 142360 | F | F | F |
| 142361 | F | F | F |
| 142362 | F | F | F |
| 142363 | F | F | F |
| 142364 | F | F | F |
| 142365 | F | F | F |
| 142366 | F | F | F |
| 142367 | F | F | F |
| 142368 | F | F | F |
| 142369 | F | F | F |
| 142370 | F | F | F |
| 142371 | F | F | F |
| 142372 | F | F | F |
| 142373 | F | F | F |
| 240147 | F | F | F |
| 240148 | F | F | F |
| 240149 | F | F | F |
| 240150 | F | F | F |
| 240151 | F | F | F |
| 240152 | F | F | F |
| 240153 | F | F | F |
| 240154 | F | F | F |
| 240155 | F | F | F |
| 240156 | F | F | F |
| 240157 | F | F | F |
| 240158 | F | F | F |
| 240159 | F | F | F |
| 240160 | F | F | F |
| 240161 | F | F | F |
| 240162 | F | F | F |
| 240163 | F | F | F |
| 240164 | F | F | F |
| 240165 | F | F | F |
| 240166 | F | F | F |
| 240167 | F | F | F |
| 240168 | F | F | F |
| 317524 | F | F | F |
| 317525 | F | F | F |
| 317526 | F | F | F |
| 317527 | F | F | F |
| 317528 | F | F | F |
| 317529 | F | F | F |
| 317530 | F | F | F |
| 317531 | F | F | F |
| 317532 | F | F | F |
| 317533 | F | F | F |
| 317534 | F | F | F |
| 317535 | F | F | F |
| 317536 | F | F | F |
| 317537 | F | F | F |
| 317538 | F | F | F |
| 317539 | F | F | F |
| 317540 | F | F | F |
| 317541 | F | F | F |
| 317542 | F | F | F |
| 317543 | F | F | F |
| 317544 | F | F | F |
| 317545 | F | F | F |
Independent-effect pairs
c0(branch6199): GAP view gap →<scry_poly::Poly>::project· br_ifc1(branch6200): GAP view gap →<scry_poly::Poly>::project· br_if