Decision #257 — library/core/src/iter/adapters/zip.rs:306
Status: no_witness
Truth table
| row | c0 br 1961 | c1 br 1964 | outcome |
|---|---|---|---|
| 9623 | T | * | T |
| 9624 | T | * | T |
| 9625 | T | * | T |
| 9626 | T | * | T |
| 10771 | T | * | T |
| 10772 | T | * | T |
| 10773 | T | * | T |
| 10774 | T | * | T |
| 11862 | T | * | T |
| 11863 | T | * | T |
| 11864 | T | * | T |
| 11865 | T | * | T |
| 13609 | T | * | T |
| 13610 | T | * | T |
| 13611 | T | * | T |
| 13612 | T | * | T |
| 13613 | T | * | T |
| 13614 | T | * | T |
| 21327 | T | * | T |
| 21328 | T | * | T |
| 21329 | T | * | T |
| 21330 | T | * | T |
| 21331 | T | * | T |
| 21332 | T | * | T |
| 29290 | T | * | T |
| 29291 | T | * | T |
| 29292 | T | * | T |
| 29293 | T | * | T |
| 29294 | T | * | T |
| 29295 | T | * | T |
| 29296 | T | * | T |
| 29297 | T | * | T |
| 29298 | T | * | T |
| 29299 | T | * | T |
| 29300 | T | * | T |
| 29301 | T | * | T |
| 29302 | T | * | T |
| 29303 | T | * | T |
| 29304 | T | * | T |
| 29305 | T | * | T |
| 35228 | T | * | T |
| 35229 | T | * | T |
| 35230 | T | * | T |
| 35231 | T | * | T |
| 35232 | T | * | T |
| 35233 | T | * | T |
| 35234 | T | * | T |
| 35235 | T | * | T |
| 35236 | T | * | T |
| 35237 | T | * | T |
| 35238 | T | * | T |
| 35239 | T | * | T |
| 35240 | T | * | T |
| 35241 | T | * | T |
| 35242 | T | * | T |
| 35243 | T | * | T |
| 40750 | T | * | T |
| 40751 | T | * | T |
| 40752 | T | * | T |
| 40753 | T | * | T |
| 40754 | T | * | T |
| 40755 | T | * | T |
| 40756 | T | * | T |
| 40757 | T | * | T |
| 43761 | T | * | T |
| 43762 | T | * | T |
| 43763 | T | * | T |
| 43764 | T | * | T |
| 43765 | T | * | T |
| 43766 | T | * | T |
| 43767 | T | * | T |
| 43768 | T | * | T |
| 47214 | T | * | T |
| 47215 | T | * | T |
| 47216 | T | * | T |
| 47217 | T | * | T |
| 47218 | T | * | T |
| 47219 | T | * | T |
| 47220 | T | * | T |
| 47221 | T | * | T |
| 50290 | T | * | T |
| 50291 | T | * | T |
| 50292 | T | * | T |
| 50293 | T | * | T |
| 50294 | T | * | T |
| 50295 | T | * | T |
| 50296 | T | * | T |
| 50297 | T | * | T |
| 53592 | T | * | T |
| 53593 | T | * | T |
| 53594 | T | * | T |
| 53595 | T | * | T |
| 53596 | T | * | T |
| 53597 | T | * | T |
| 53598 | T | * | T |
| 53599 | T | * | T |
| 63364 | T | * | T |
| 63365 | T | * | T |
| 63366 | T | * | T |
| 63367 | T | * | T |
| 63368 | T | * | T |
| 63369 | T | * | T |
| 63370 | T | * | T |
| 63371 | T | * | T |
| 72994 | T | * | T |
| 72995 | T | * | T |
| 72996 | T | * | T |
| 72997 | T | * | T |
| 72998 | T | * | T |
| 72999 | T | * | T |
| 73000 | T | * | T |
| 73001 | T | * | T |
| 73002 | T | * | T |
| 73003 | T | * | T |
| 73004 | T | * | T |
| 73005 | T | * | T |
| 76469 | T | * | T |
| 76470 | T | * | T |
| 76471 | T | * | T |
| 76472 | T | * | T |
| 76473 | T | * | T |
| 76474 | T | * | T |
| 76475 | T | * | T |
| 76476 | T | * | T |
| 76477 | T | * | T |
| 76478 | T | * | T |
| 76479 | T | * | T |
| 76480 | T | * | T |
| 80836 | T | * | T |
| 80837 | T | * | T |
| 82023 | T | * | T |
| 82024 | T | * | T |
| 83085 | T | * | T |
| 83086 | T | * | T |
| 93482 | T | * | T |
| 93483 | T | * | T |
| 93484 | T | * | T |
| 93485 | T | * | T |
| 93486 | T | * | T |
| 93487 | T | * | T |
| 93488 | T | * | T |
| 93489 | T | * | T |
| 93490 | T | * | T |
| 93491 | T | * | T |
| 93492 | T | * | T |
| 93493 | T | * | T |
| 93494 | T | * | T |
| 93495 | T | * | T |
| 93496 | T | * | T |
| 93497 | T | * | T |
| 93498 | T | * | T |
| 93499 | T | * | T |
| 112345 | T | * | T |
| 112346 | T | * | T |
| 112347 | T | * | T |
| 112348 | T | * | T |
| 112349 | T | * | T |
| 112350 | T | * | T |
| 112351 | T | * | T |
| 112352 | T | * | T |
| 112353 | T | * | T |
| 112354 | T | * | T |
| 112355 | T | * | T |
| 112356 | T | * | T |
| 112357 | T | * | T |
| 112358 | T | * | T |
| 112359 | T | * | T |
| 112360 | T | * | T |
| 112361 | T | * | T |
| 112362 | T | * | T |
| 130056 | T | * | T |
| 130057 | T | * | T |
| 131231 | T | * | T |
| 131232 | T | * | T |
| 132558 | T | * | T |
| 132559 | T | * | T |
Independent-effect pairs
c0(branch1961): GAP view gap →scry_analyze_core::i32_binop· br_ifc1(branch1964): DEAD view gap →scry_analyze_core::i32_binop· br_if