Decision #195 — library/core/src/ptr/mod.rs:1921

Status: no_witness

Truth table

rowc0 br 1633c1 br 1634c2 br 1635c3 br 1636c4 br 1637c5 br 1638c6 br 1639c7 br 1640c8 br 1641c9 br 1642c10 br 1643c11 br 1644c12 br 1645c13 br 1651c14 br 1652outcome
40685FFFT***********T
40686FFFT***********T
43696FFFT***********T
43697FFFT***********T
47149FFFT***********T
47150FFFT***********T
50225FFFT***********T
50226FFFT***********T
79282FFFT***********T
85787FFFT***********T
85788FFFT***********T
89095FFFT***********T
90876FFFT***********T

Independent-effect pairs