Decision #415 — library/alloc/src/fmt.rs:659

Status: no_witness

Truth table

rowc0 br 2756c1 br 2868c2 br 3003c3 br 3004outcome
30321**FFT
51176**FFT
71843**FFT
81726**FFT
91653F***T
91654F***T
91655F***T
91656F***T
99430F***T
99431F***T
99432F***T
99433F***T
107919F***T
107920F***T
107921F***T
107922F***T
115997F***T
115998F***T
115999F***T
116000F***T
123891**FFT
140610**FFT
176327F***T
176328F***T
195958F***T
195959F***T
195960F***T
195961F***T
215364F*FFT
215365F***T

Independent-effect pairs