【发布时间】:2011-01-31 18:12:10
【问题描述】:
我目前正在为 SML 课程的作业评分。我编写了一些测试用例来自动检查学生作业中函数的正确性,我希望能够导入他们的代码,然后针对该代码运行测试用例。我在想象类似于 python 导入语义的东西。现在,我最好的解决方案是将此代码复制粘贴到每个作业的底部。 SML 可以做到这一点吗?
【问题讨论】:
标签: sml
我目前正在为 SML 课程的作业评分。我编写了一些测试用例来自动检查学生作业中函数的正确性,我希望能够导入他们的代码,然后针对该代码运行测试用例。我在想象类似于 python 导入语义的东西。现在,我最好的解决方案是将此代码复制粘贴到每个作业的底部。 SML 可以做到这一点吗?
【问题讨论】:
标签: sml
使用use:
use "filename.sml";
(* your test cases here *)
如果“student.sml”中有学生解决方案,“tests.sml”中有测试用例:
use "student.sml";
use "tests.sml";
【讨论】:
use 函数吗?我已经尝试过,但总是收到 operator is not a function 错误。
use 函数。
看看QCheck,一个SML的单元测试库
【讨论】: