没有合适的资源?快使用搜索试试~ 我知道了~
tasty-kat:KAT(已知答案测试)支持美味
共11个文件
hs:5个
cabal:1个
kat:1个
需积分: 9 0 下载量 54 浏览量
2021-06-30
02:12:55
上传
评论
收藏 9KB ZIP 举报
温馨提示
好吃的 为 KAT(已知答案测试)测试提供支持。 KAT 文件为某些功能提供输入和输出测试,例如,用于测试以下功能: r == a + b KAT 文件可以是: [2 digits addition] a = 10 b = 20 r = 30 a = 11 b = 21 r = 32 这有点类似于包,但不是生成文件并将输出文件与golden 文件进行比较,tasty-kat 在测试向量中加载输入和输出并在其上运行特定函数。 文档: import Test.Tasty import Test.Tasty.KAT main = do kat <- testKatLoad " path/to/KAT " katLoaderSimple defaultMain [ testKatDetailed " kat-name " kat testKat ] where
资源推荐
资源详情
资源评论
收起资源包目录
tasty-kat-master.zip (11个子文件)
tasty-kat-master
.gitignore 26B
tasty-kat.cabal 2KB
Setup.hs 46B
.travis.yml 1008B
LICENSE 1KB
README.md 2KB
tests
Tests.hs 2KB
KAT 221B
Test
Tasty
KAT.hs 4KB
KAT
FileLoader.hs 8KB
Internal.hs 800B
共 11 条
- 1
资源评论
以网为生
- 粉丝: 28
- 资源: 4595
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功