Decision #962 — library/alloc/src/raw_vec/mod.rs:478
Status: no_witness
Truth table
| row | c0 br 6213 | c1 br 6217 | outcome |
|---|---|---|---|
| 33628 | T | * | T |
| 33629 | F | * | T |
| 33630 | T | * | T |
| 33631 | F | * | T |
| 33632 | T | * | T |
| 33633 | F | * | T |
| 33634 | T | * | T |
| 33635 | F | * | T |
| 33636 | T | * | T |
| 33637 | F | * | T |
| 33638 | T | * | T |
| 33639 | F | * | T |
| 54482 | T | * | T |
| 54483 | F | * | T |
| 54484 | T | * | T |
| 54485 | F | * | T |
| 54486 | T | * | T |
| 54487 | F | * | T |
| 54488 | T | * | T |
| 54489 | F | * | T |
| 54490 | T | * | T |
| 54491 | F | * | T |
| 54492 | T | * | T |
| 54493 | F | * | T |
| 125687 | T | * | T |
| 125688 | F | * | T |
| 125689 | T | * | T |
| 125690 | F | * | T |
| 125691 | T | * | T |
| 125692 | F | * | T |
| 125693 | T | * | T |
| 125694 | F | * | T |
| 125695 | T | * | T |
| 125696 | F | * | T |
| 125697 | T | * | T |
| 125698 | F | * | T |
| 125699 | T | * | T |
| 125700 | F | * | T |
| 125701 | T | * | T |
| 125702 | F | * | T |
| 142406 | T | * | T |
| 142407 | F | * | T |
| 142408 | T | * | T |
| 142409 | F | * | T |
| 142410 | T | * | T |
| 142411 | F | * | T |
| 142412 | T | * | T |
| 142413 | F | * | T |
| 142414 | T | * | T |
| 142415 | F | * | T |
| 142416 | T | * | T |
| 142417 | F | * | T |
| 142418 | T | * | T |
| 142419 | F | * | T |
| 142420 | T | * | T |
| 142421 | F | * | T |
| 240269 | T | * | T |
| 240270 | T | * | T |
| 240271 | F | T | T |
| 240272 | T | * | T |
| 240273 | T | * | T |
| 240274 | F | T | T |
| 240275 | T | * | T |
| 240276 | T | * | T |
| 240277 | F | T | T |
| 240278 | T | * | T |
| 240279 | T | * | T |
| 240280 | F | T | T |
| 240281 | T | * | T |
| 240282 | T | * | T |
| 240283 | F | T | T |
| 240284 | T | * | T |
| 240285 | T | * | T |
| 240286 | F | T | T |
| 240287 | T | * | T |
| 240288 | T | * | T |
| 240289 | F | T | T |
| 240290 | T | * | T |
| 240291 | T | * | T |
| 240292 | F | T | T |
| 240293 | T | * | T |
| 240294 | T | * | T |
| 240295 | F | T | T |
| 240296 | T | * | T |
| 240297 | T | * | T |
| 240298 | F | T | T |
| 240299 | T | * | T |
| 240300 | T | * | T |
| 240301 | F | T | T |
| 240302 | T | * | T |
| 240303 | T | * | T |
| 240304 | F | T | T |
| 240305 | T | * | T |
| 240306 | T | * | T |
| 240307 | F | T | T |
| 240308 | T | * | T |
| 240309 | T | * | T |
| 240310 | F | T | T |
| 240311 | T | * | T |
| 240312 | T | * | T |
| 240313 | F | T | T |
| 240314 | T | * | T |
| 240315 | T | * | T |
| 240316 | F | T | T |
| 240317 | T | * | T |
| 240318 | T | * | T |
| 240319 | F | T | T |
| 240320 | T | * | T |
| 240321 | T | * | T |
| 240322 | F | T | T |
| 240323 | T | * | T |
| 240324 | T | * | T |
| 240325 | F | T | T |
| 240326 | T | * | T |
| 240327 | T | * | T |
| 240328 | F | T | T |
| 317646 | T | * | T |
| 317647 | T | * | T |
| 317648 | F | T | T |
| 317649 | T | * | T |
| 317650 | T | * | T |
| 317651 | F | T | T |
| 317652 | T | * | T |
| 317653 | T | * | T |
| 317654 | F | T | T |
| 317655 | T | * | T |
| 317656 | T | * | T |
| 317657 | F | T | T |
| 317658 | T | * | T |
| 317659 | T | * | T |
| 317660 | F | T | T |
| 317661 | T | * | T |
| 317662 | T | * | T |
| 317663 | F | T | T |
| 317664 | T | * | T |
| 317665 | T | * | T |
| 317666 | F | T | T |
| 317667 | T | * | T |
| 317668 | T | * | T |
| 317669 | F | T | T |
| 317670 | T | * | T |
| 317671 | T | * | T |
| 317672 | F | T | T |
| 317673 | T | * | T |
| 317674 | T | * | T |
| 317675 | F | T | T |
| 317676 | T | * | T |
| 317677 | T | * | T |
| 317678 | F | T | T |
| 317679 | T | * | T |
| 317680 | T | * | T |
| 317681 | F | T | T |
| 317682 | T | * | T |
| 317683 | T | * | T |
| 317684 | F | T | T |
| 317685 | T | * | T |
| 317686 | T | * | T |
| 317687 | F | T | T |
| 317688 | T | * | T |
| 317689 | T | * | T |
| 317690 | F | T | T |
| 317691 | T | * | T |
| 317692 | T | * | T |
| 317693 | F | T | T |
| 317694 | T | * | T |
| 317695 | T | * | T |
| 317696 | F | T | T |
| 317697 | T | * | T |
| 317698 | T | * | T |
| 317699 | F | T | T |
| 317700 | T | * | T |
| 317701 | T | * | T |
| 317702 | F | T | T |
| 317703 | T | * | T |
| 317704 | T | * | T |
| 317705 | F | T | T |
Independent-effect pairs
c0(branch6213): GAP view gap →<scry_poly::Poly>::project· br_ifc1(branch6217): GAP view gap →<scry_poly::Poly>::project· br_if