Pintos测试用例：为什么有些用c写，有些用ck文件扩展？

Question

在pintos/src/tests/threads中，一些测试用c编写，有些用perl（ck文件）编写，其他测试用c和ck文件。

两个问题：

1. .ck扩展名是否用于perl脚本？出于某种原因，我没有得到关于.ck扩展名的令人满意的解释。

2. 为什么有些是用c写的，有些是用ck写的？

Answer 1

在Pintos项目中，.ck文件显示所需的打印输出顺序。 .c文件包含测试用例本身