Decision #570 — library/alloc/src/collections/btree/node.rs:731

Status: no_witness

Truth table

rowc0 br 3930c1 br 3931outcome
30787T*T
51642T*T
72568FTT
72569T*T
82451FTT
82452T*T
92187T*T
92188T*T
100016T*T
100017T*T
108505T*T
108506T*T
116531T*T
116532T*T
124527T*T
141246T*T
215816T*T
224257FTT
224258T*T
301634FTT
301635T*T
377120T*T
379777T*T
382661T*T

Independent-effect pairs