2つのバックエンドを比較しても、不一致しか検出できません。Chuksは13個のジェネレーターと約7,800個のプログラムを使用して、既知の回答に対してどのようにテストするか。