コードの正確性に関する良いルールは次のとおりです。テストしていないコードはすべて間違っています。テストしたコードもすべて間違っていますが、偶然に機能しているようです。そして、正しいことが証明されたコードは、間違ったことを正しく行っています。