Decision #91 — lib.rs:1537
Status: partial
Truth table
| row | c0 br 513 | c1 br 520 | outcome |
|---|---|---|---|
| 29431 | T | T | T |
| 29432 | T | F | F |
| 29433 | * | T | T |
| 29434 | T | F | F |
| 29435 | * | T | T |
| 29436 | T | F | F |
| 29437 | * | T | T |
| 29438 | T | F | F |
| 29439 | * | T | T |
| 29440 | T | F | F |
| 29441 | * | T | T |
| 29442 | T | F | F |
| 29443 | * | T | T |
| 29444 | T | F | F |
| 29445 | * | T | T |
| 29446 | * | F | F |
| 50286 | T | T | T |
| 50287 | T | F | F |
| 50288 | * | T | T |
| 50289 | T | F | F |
| 50290 | * | T | T |
| 50291 | T | F | F |
| 50292 | * | T | T |
| 50293 | T | F | F |
| 50294 | * | T | T |
| 50295 | T | F | F |
| 50296 | * | T | T |
| 50297 | T | F | F |
| 50298 | * | T | T |
| 50299 | T | F | F |
| 50300 | * | T | T |
| 50301 | * | F | F |
| 70970 | T | F | F |
| 70971 | T | F | F |
| 70972 | T | F | F |
| 70973 | T | F | F |
| 70974 | T | F | F |
| 70975 | T | F | F |
| 70976 | T | F | F |
| 70977 | T | F | F |
| 70978 | T | F | F |
| 70979 | T | F | F |
| 70980 | T | F | F |
| 70981 | T | F | F |
| 70982 | T | F | F |
| 70983 | T | F | F |
| 70984 | T | F | F |
| 70985 | T | F | F |
| 70986 | T | F | F |
| 70987 | T | F | F |
| 70988 | T | F | F |
| 70989 | T | F | F |
| 70990 | T | F | F |
| 70991 | T | F | F |
| 70992 | T | F | F |
| 70993 | T | F | F |
| 80853 | T | F | F |
| 80854 | T | F | F |
| 80855 | T | F | F |
| 80856 | T | F | F |
| 80857 | T | F | F |
| 80858 | T | F | F |
| 80859 | T | F | F |
| 80860 | T | F | F |
| 80861 | T | F | F |
| 80862 | T | F | F |
| 80863 | T | F | F |
| 80864 | T | F | F |
| 80865 | T | F | F |
| 80866 | T | F | F |
| 80867 | T | F | F |
| 80868 | T | F | F |
| 80869 | T | F | F |
| 80870 | T | F | F |
| 80871 | T | F | F |
| 80872 | T | F | F |
| 80873 | T | F | F |
| 80874 | T | F | F |
| 80875 | T | F | F |
| 80876 | T | F | F |
| 122908 | T | T | T |
| 122909 | T | F | F |
| 122910 | * | T | T |
| 122911 | T | F | F |
| 122912 | * | T | T |
| 122913 | T | F | F |
| 122914 | * | T | T |
| 122915 | T | F | F |
| 122916 | * | T | T |
| 122917 | T | F | F |
| 122918 | * | T | T |
| 122919 | T | F | F |
| 122920 | * | T | T |
| 122921 | T | F | F |
| 122922 | * | T | T |
| 122923 | T | F | F |
| 122924 | * | T | T |
| 122925 | T | F | F |
| 122926 | * | T | T |
| 122927 | T | F | F |
| 122928 | * | T | T |
| 122929 | T | F | F |
| 122930 | * | T | T |
| 122931 | * | F | F |
| 139627 | T | T | T |
| 139628 | T | F | F |
| 139629 | * | T | T |
| 139630 | T | F | F |
| 139631 | * | T | T |
| 139632 | T | F | F |
| 139633 | * | T | T |
| 139634 | T | F | F |
| 139635 | * | T | T |
| 139636 | T | F | F |
| 139637 | * | T | T |
| 139638 | T | F | F |
| 139639 | * | T | T |
| 139640 | T | F | F |
| 139641 | * | T | T |
| 139642 | T | F | F |
| 139643 | * | T | T |
| 139644 | T | F | F |
| 139645 | * | T | T |
| 139646 | T | F | F |
| 139647 | * | T | T |
| 139648 | T | F | F |
| 139649 | * | T | T |
| 139650 | * | F | F |
| 214512 | T | F | F |
| 214513 | T | F | F |
| 222039 | T | T | T |
| 222040 | T | F | F |
| 222041 | * | T | T |
| 222042 | T | F | F |
| 222043 | * | T | T |
| 222044 | T | F | F |
| 222045 | * | T | T |
| 222046 | T | F | F |
| 222047 | * | T | T |
| 222048 | T | F | F |
| 222049 | * | T | T |
| 222050 | T | F | F |
| 222051 | * | T | T |
| 222052 | T | F | F |
| 222053 | * | T | T |
| 222054 | T | F | F |
| 222055 | * | T | T |
| 222056 | T | F | F |
| 222057 | * | T | T |
| 222058 | T | F | F |
| 222059 | * | T | T |
| 222060 | T | F | F |
| 222061 | * | T | T |
| 222062 | T | F | F |
| 222063 | * | T | T |
| 222064 | T | F | F |
| 222065 | * | T | T |
| 222066 | T | F | F |
| 222067 | * | T | T |
| 222068 | T | F | F |
| 222069 | * | T | T |
| 222070 | T | F | F |
| 222071 | * | T | T |
| 222072 | T | F | F |
| 222073 | * | T | T |
| 222074 | T | F | F |
| 222075 | * | T | T |
| 222076 | T | F | F |
| 222077 | * | T | T |
| 222078 | T | F | F |
| 222079 | * | T | T |
| 222080 | T | F | F |
| 222081 | * | T | T |
| 222082 | T | F | F |
| 222083 | * | T | T |
| 222084 | T | F | F |
| 222085 | * | T | T |
| 222086 | T | F | F |
| 222087 | * | T | T |
| 222088 | T | F | F |
| 222089 | * | T | T |
| 222090 | T | F | F |
| 222091 | * | T | T |
| 222092 | T | F | F |
| 222093 | * | T | T |
| 222094 | T | F | F |
| 222095 | * | T | T |
| 222096 | T | F | F |
| 222097 | * | T | T |
| 222098 | T | F | F |
| 222099 | * | T | T |
| 222100 | T | F | F |
| 222101 | * | T | T |
| 222102 | T | F | F |
| 222103 | * | T | T |
| 222104 | T | F | F |
| 222105 | * | T | T |
| 222106 | T | F | F |
| 222107 | * | T | T |
| 222108 | T | F | F |
| 222109 | * | T | T |
| 222110 | * | F | F |
| 299416 | T | T | T |
| 299417 | T | F | F |
| 299418 | * | T | T |
| 299419 | T | F | F |
| 299420 | * | T | T |
| 299421 | T | F | F |
| 299422 | * | T | T |
| 299423 | T | F | F |
| 299424 | * | T | T |
| 299425 | T | F | F |
| 299426 | * | T | T |
| 299427 | T | F | F |
| 299428 | * | T | T |
| 299429 | T | F | F |
| 299430 | * | T | T |
| 299431 | T | F | F |
| 299432 | * | T | T |
| 299433 | T | F | F |
| 299434 | * | T | T |
| 299435 | T | F | F |
| 299436 | * | T | T |
| 299437 | T | F | F |
| 299438 | * | T | T |
| 299439 | T | F | F |
| 299440 | * | T | T |
| 299441 | T | F | F |
| 299442 | * | T | T |
| 299443 | T | F | F |
| 299444 | * | T | T |
| 299445 | T | F | F |
| 299446 | * | T | T |
| 299447 | T | F | F |
| 299448 | * | T | T |
| 299449 | T | F | F |
| 299450 | * | T | T |
| 299451 | T | F | F |
| 299452 | * | T | T |
| 299453 | T | F | F |
| 299454 | * | T | T |
| 299455 | T | F | F |
| 299456 | * | T | T |
| 299457 | T | F | F |
| 299458 | * | T | T |
| 299459 | T | F | F |
| 299460 | * | T | T |
| 299461 | T | F | F |
| 299462 | * | T | T |
| 299463 | T | F | F |
| 299464 | * | T | T |
| 299465 | T | F | F |
| 299466 | * | T | T |
| 299467 | T | F | F |
| 299468 | * | T | T |
| 299469 | T | F | F |
| 299470 | * | T | T |
| 299471 | T | F | F |
| 299472 | * | T | T |
| 299473 | T | F | F |
| 299474 | * | T | T |
| 299475 | T | F | F |
| 299476 | * | T | T |
| 299477 | T | F | F |
| 299478 | * | T | T |
| 299479 | T | F | F |
| 299480 | * | T | T |
| 299481 | T | F | F |
| 299482 | * | T | T |
| 299483 | T | F | F |
| 299484 | * | T | T |
| 299485 | T | F | F |
| 299486 | * | T | T |
| 299487 | * | F | F |
Independent-effect pairs
c0(branch513): GAP view gap →<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc1(branch520): PROVED — pair rows29431,29432(unique-cause)<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/core/src/iter/adapters/map.rs:107 ← library/core/src/iter/adapters/filter.rs:98 ← library/core/src/iter/traits/iterator.rs:2971 ← library/core/src/iter/adapters/enumerate.rs:125 ← library/core/src/iter/adapters/enumerate.rs:119 ← library/core/src/iter/traits/iterator.rs:2967 ← library/core/src/ops/function.rs:298