仅比较两个后端只能发现分歧。Chuks 通过 13 个生成器对已知答案进行测试，涉及约 7,800 个程序。