Decision #1393 — strncmp.c:7

Status: unreached

Truth table

rowc0 br 9299c1 br 9300c2 br 9301outcome

Independent-effect pairs

All 3 conditions live in <std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_char — 3 br_if