trust

差分测试无需形式化证明也能奏效，但共模故障才是隐患

差分测试让你无需知道正确答案就能发现 bug。问题在于，相关的错误看起来像是达成一致。以下是如何发现盲点。