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 文件包含测试用例本身