测例

这个是 CMinor 的验证工具的公开测例仓库。

所有的公开测例分为 partial correctness、total correctness 和 compilation 三大类，分别放在三个目录下面。其中 compilation 只是用于助教测试工具前端（将 CMinor 代码编译为控制流图），与后端的验证算法关系不大，你无需关心。

每个文件夹里有一个 answers.json，是这个文件夹里所有测例的答案，其格式如下

[
    "filename": <answer>, // "VERIFIED" or "UNVERIFIED"
    ...
]

评测脚本

你可以对每个测例单独测试及调试，也可以使用我们提供的评测脚本。

需要 Python >= 3.8，并安装所需的包：

pip3 install -r requirements.txt

在验证工具的根目录下，使用：

dotnet build -c Release # 编译
python3 testcases/test.py # 统一评测所有测例

评测情况会打印至输出流中，总得分（百分制）会存在 .score 中。

时间上限

每个测例 10 秒。

分数设置

满分 100 分，分为两部分，其中部分正确性占 87.5 分，完全正确性占 12.5 分。

每个测例的占分是一样的，记每个测例的得分为 X 分。在这个测例上：

• 如果你的输出为 UNKNOWN，那么你将会获得 0 分；
• 如果你的输出为 VERIFIED 或者 UNVERIFIED，若其与答案一致，你将会获得 X 分，若其与答案不一致，你将会获得 -X 分。

对于每个部分，若你的总得分不足 0 分，则以 0 分计。