Decision #1638 — `library/core/src/str/mod.rs:395`

Status: full_mcdc

Truth table

row	c0 br 4036	c1 br 4037	c2 br 4038	outcome

c0 (branch 4036): PROVED
scry_analyze_core::build_static_call_graph · br_table_target
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/traits.rs:526 ← library/core/src/str/traits.rs:493
c1 (branch 4037): PROVED
scry_analyze_core::build_static_call_graph · br_table_target
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/traits.rs:526 ← library/core/src/str/traits.rs:493
c2 (branch 4038): PROVED
scry_analyze_core::build_static_call_graph · br_table_default
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/traits.rs:526 ← library/core/src/str/traits.rs:493