Proving You Can Find a Needle: From the Weak Write Test Mode Saga

Needles don’t occur in every haystack. Suppose you have developed a new method to detect a needle. Now prove it! Easy, you say—just toss some needles into a haystack and go find them. I faced this scenario with proving that Weak Write Test Mode would work. Two things needed to be proved: Did the new…