Skip to content

decaf-lang/minidecaf-tests

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

minidecaf-tests

MiniDecaf 测例及测试脚本。

我们有两种测例

  • 普通测例(在 testcases/ 下):你的 MiniDecaf 要能成功编译这些测例到合法的汇编,然后正常返回(返回码为 0)。 我们会将你的编译结果的运行返回值与 GCC 编译结果的运行返回值比较,要求它们必须要完全相同。
  • 报错测例(在 failcases/ 下):你的 MiniDecaf 对于这些测例,要么不能正常返回(返回码非 0),要么不能生成合法汇编(例如输出中夹杂了报错信息)。 最好能够生成有用的报错信息,但不要求。

依赖

用法

直接运行 check.sh 即可,例如在 minidecaf-tests/ 目录下

$ ./check.sh

check.sh 支持如下参数,参数用法是 OPT=VALUE ./check.sh,多个 OPT-VALUE 对用空格隔开。 例如 STEP_UNTIL=1 PROJ_PATH=../minidecaf ./check.sh

参数名 类型 含义 默认值
STEP_FROM 1 到 12 的整数(不超过STEP_UNTIL 从哪个 step 开始测 1
STEP_UNTIL 1 到 12 的整数 测到哪个 step 12
PROJ_PATH 一个路径 你的 minidecaf 仓库的路径 ..

输出含义

  • OK 测试点通过
  • ERR 你的编译器崩了,或者输出的汇编格式不对
  • FAIL (testcase)编译出的汇编运行结果不对;(failcase)或者对于不合法输入没报错而是输出了合法汇编。

用于 debug 的中间文件

测例文件在 testcases/step*/*.cfailcases/step*/*.c,运行 ./check.sh 后同一目录下会有如下中间文件方便 debug

  • *.errERR 的错误信息
  • *.expected:用 gcc 编译运行得到的标准答案
  • *.actual:运行你的编译结果得到的答案,需要和上面一样
  • *.{gcc,my}:可执行文件

常见问题

遇到问题,请先尝试重设仓库,删除临时文件,撤销所有你的改动:

$ git clean -fdx
$ git checkout -- .

如果出错,除了下面内容也请阅读实验指导书的常见问题一节。

  • permission denied: ./check.sh
    • 需要给 check.sh 加执行权限 chmod +x check.sh
  • gcc not found 或 qemu not found
  • macOS 下找不到 realpath 命令
    ./check.sh: line 25: realpath: command not found
    ./check.sh: line 26: realpath: command not found
    ./check.sh: line 30: $asmfile: ambiguous redirect
    
    • 使用 Homebrew 安装 coreutils:brew install coreutils

参考

Releases

No releases published

Packages

No packages published