没有合适的资源?快使用搜索试试~ 我知道了~
pa_ounit:已弃用,请改用ppx_inline_test
共21个文件
ml:6个
txt:3个
mli:3个
需积分: 9 0 下载量 53 浏览量
2021-05-10
18:59:10
上传
评论
收藏 20KB ZIP 举报
温馨提示
%Pa_ounit Pa_ounit是语法扩展,可帮助以ocaml代码编写在线测试。 新的句法结构 现在,以下构造是有效的结构项: TEST name? = <boolean> (* true means ok, false or exn means broken *) TEST_UNIT name? = <unit> (* () means ok, exn means broken *) TEST_MODULE name? = <module> (* to group TESTs (to share some setup for instance) *) 与先前版本的pa_ounit相反,如果执行测试,则将在控制流到达结构项时执行测试(即,对于顶层TEST在顶层执行,当将函子应用于在函子主体中定义的TEST时) , 等等。)。 例子 ### prime.
资源推荐
资源详情
资源评论
收起资源包目录
pa_ounit-master.zip (21个子文件)
pa_ounit-master
runtime-lib
runtime.mli 650B
runtime.ml 11KB
example
example.ml 988B
example.mli 14B
readme.md 3KB
test
test.expected 2KB
failures.ml 439B
order.ml 1KB
_oasis 1KB
src
pa_ounit.mli 85B
pa_ounit.ml 5KB
CHANGES.md 3KB
setup.ml 115B
configure 73B
.gitignore 66B
_tags 61B
Makefile 1KB
emacs
pa_ounit-tuareg.el 673B
INRIA-DISCLAIMER.txt 730B
THIRD-PARTY.txt 752B
LICENSE.txt 11KB
共 21 条
- 1
资源评论
梦小露
- 粉丝: 20
- 资源: 4640
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- GDAL-3.4.3-cp310-cp310-win-amd64.whl
- 基于matlab实现鸡群算法,群体智能算法的一种,立足鸡群的集合特征建立优化过程,与蜂群算法、蛙群算法有相似之处.rar
- 基于matlab实现很好的一个蜂群算法 基于matlab的源程序 从作者那要过来的.rar
- 基于matlab实现多目标优化NSGA3代码.rar
- 基于matlab实现多目标遗传算法(NSGA-III)matlab源代码.rar
- 基于matlab实现多尺度小波分析,用于分析时间多尺度周期
- vscode配置c/c 环境教程
- vscode配置c/c 环境教程
- 基于matlab实现电磁优化计算功能,进行线型规划优化电磁设计.rar
- 基于matlab实现带精英策略的非支配排序遗传算法matlab 源码.rar
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功