Python契约测试库
ycontract的Python项目详细描述
Y合同
用于合同测试的Python库。在
这个库提供了用于检查函数的参数(in_contract
)和返回值(out_contract
)的函数。在
如何安装
$ pip install ycontract
示例
示例文件是here(测试文件)
主要的例子是
^{pr2}$更复杂的例子是
@contract(lambdaa0:a0>0,lambdaa1,b:a1>0andb>0,{"a2":lambdax:x>0,"a3":[lambdax:x>=0,lambdax:x<4,],("a4","a5"):lambdax,y:x>0andy>0,},b=lambdax:x>0,contract_tag="tagtag",)defadd_for_complex(a0,a1,a2,a3,a4,a5,b=1):returna0+a1+a2+a3+a4+a5+b
此外,如果你想被禁用,打电话
ycontract.disable_contract()
许可证
- 项目
标签: