是否可以用以下函数编写合同
def func(len, idx):
"""
:param len: array length
:type len: int,>0
:param idx: array index
:type idx: int,>=0
"""
还要检查idx<len
?你知道吗
语言参考页http://andreacensi.github.io/contracts/reference.html#contracts-language-reference的“算术和比较”部分还有待编写。你知道吗
Tags:
比赛有点晚了,但我有同样的问题,我发现:
对任何其他有同样想法的人来说。您可以在契约中使用变量并引用它们。你知道吗
相关问题 更多 >
编程相关推荐