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