Decision #87 — lib.rs:6689
Status: full_mcdc
Truth table
| row | c0 br 499 | c1 br 500 | outcome |
|---|---|---|---|
| 190510 | F | F | F |
| 190511 | T | * | T |
| 190512 | T | * | T |
| 190513 | T | * | T |
| 190514 | F | F | F |
| 190515 | T | * | T |
| 190516 | T | * | T |
| 190517 | T | * | T |
| 190518 | T | * | T |
| 190519 | T | * | T |
| 194746 | F | F | F |
| 194747 | T | * | T |
| 194748 | T | * | T |
| 194749 | T | * | T |
| 194750 | F | F | F |
| 194751 | T | * | T |
| 194752 | T | * | T |
| 194753 | T | * | T |
| 194754 | T | * | T |
| 194755 | T | * | T |
| 194756 | F | F | F |
| 194757 | T | * | T |
| 194758 | T | * | T |
| 194759 | T | * | T |
| 194760 | T | * | T |
| 194761 | F | F | F |
| 194762 | T | * | T |
| 194763 | T | * | T |
| 194764 | T | * | T |
| 194765 | T | * | T |
| 194766 | F | F | F |
| 194767 | T | * | T |
| 194768 | T | * | T |
| 194769 | T | * | T |
| 194770 | T | * | T |
| 194771 | F | F | F |
| 194772 | T | * | T |
| 194773 | T | * | T |
| 194774 | T | * | T |
| 194775 | T | * | T |
| 202844 | F | F | F |
| 202845 | T | * | T |
| 202846 | T | * | T |
| 202847 | T | * | T |
| 202848 | T | * | T |
| 202849 | T | * | T |
| 206092 | F | F | F |
| 206093 | T | * | T |
| 206094 | T | * | T |
| 206095 | T | * | T |
| 206096 | F | F | F |
| 206097 | F | T | T |
| 206098 | F | F | F |
| 206099 | F | T | T |
| 206100 | T | * | T |
| 206101 | T | * | T |
| 206102 | T | * | T |
| 206103 | F | F | F |
| 206104 | T | * | T |
| 206105 | T | * | T |
| 206106 | T | * | T |
| 206107 | T | * | T |
| 206108 | T | * | T |
| 206109 | F | F | F |
| 206110 | T | * | T |
| 206111 | T | * | T |
| 206112 | T | * | T |
| 206113 | F | F | F |
| 206114 | F | T | T |
| 206115 | F | F | F |
| 206116 | F | T | T |
| 206117 | T | * | T |
| 206118 | T | * | T |
| 206119 | T | * | T |
| 206120 | T | * | T |
| 206121 | F | F | F |
| 206122 | T | * | T |
| 206123 | T | * | T |
| 206124 | T | * | T |
| 206125 | T | * | T |
| 214462 | F | F | F |
| 214463 | T | * | T |
| 214464 | T | * | T |
| 214465 | T | * | T |
| 214466 | T | * | T |
| 214467 | T | * | T |
| 214468 | T | * | T |
| 214469 | T | * | T |
| 214470 | T | * | T |
| 214471 | T | * | T |
| 214472 | T | * | T |
| 214473 | T | * | T |
| 214474 | T | * | T |
| 214475 | T | * | T |
| 214476 | F | F | F |
| 214477 | T | * | T |
| 214478 | T | * | T |
| 214479 | T | * | T |
| 214480 | T | * | T |
| 214481 | T | * | T |
Independent-effect pairs
c0(branch499): PROVED — pair rows190510,190511(masking)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc1(branch500): PROVED — pair rows190510,206097(unique-cause)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if