AI / Coding and Debugging

Property Tests Instead of Enumeration

Property Tests Instead of Enumeration — Chinese original prompt

要测的函数处理 [输入类型]，手工用例只能覆盖十几种情况。请帮我提炼 3 条应该恒成立的属性，例如编码后能解码还原、排序后长度不变且相邻有序、金额拆分后各份之和等于原值；每条写出属性表达式、生成器该覆盖的取值范围，以及被证伪时最可能暴露的实现错误。