Decision #981 — library/alloc/src/alloc.rs:99

Status: no_witness

Truth table

rowc0 br 6325c1 br 6331outcome
33708TFT
33709TFT
54562TFT
54563TFT
125859TFT
125860TFT
125861TFT
125862TFT
125863TFT
125864TFT
125865TFT
125866TFT
142578TFT
142579TFT
142580TFT
142581TFT
142582TFT
142583TFT
142584TFT
142585TFT
240596TFT
240597TFT
317973TFT
317974TFT

Independent-effect pairs