Decision #538 — library/alloc/src/vec/mod.rs:1202
Status: full_mcdc
Truth table
| row | c0 br 3760 | c1 br 3762 | outcome |
|---|---|---|---|
| 92043 | F | * | F |
| 99872 | F | * | F |
| 108361 | F | * | F |
| 116387 | F | * | F |
| 176545 | T | T | T |
| 176546 | T | F | F |
| 181199 | T | F | F |
| 184518 | T | F | F |
| 187626 | T | F | F |
| 207834 | T | T | T |
| 207835 | T | F | F |
| 215655 | F | * | F |
| 215656 | T | F | F |
Independent-effect pairs
c0(branch3760): PROVED — pair rows92043,176545(masking)scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3323 ← library/alloc/src/boxed.rs:265 ← library/alloc/src/slice.rs:484c1(branch3762): PROVED — pair rows176545,176546(unique-cause)scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3326 ← library/alloc/src/boxed.rs:265 ← library/alloc/src/slice.rs:484