Now, all we need to do is run DOES-HALT (COMPARE-OUTPUT, [program, input, expected output]) to know whether or not program passes the test case, input, and outputs the expected output.
现在,我们所要做的全部事情就是运行DOES - HALT (COMPARE - output,[program, input, expected out put]),这样一来我们就会知道程序是否通过了测试用例,输入,和输出预期的输出。