关于模糊测试/基于属性的测试： - 随意向一个函数输入成千上万的输入并观察其是否正常工作，这其中有些特别之处。 - 这相当于形式验证的工作量证明。 - 没有什么比增加生成性基于属性的测试的迭代次数并得出不变式来进行断言更令人满意的了。 - 如果没有基于属性的测试库，我可能早在几年前就不会完全转向Rust。这是一个奇怪的转折点。 无论如何，这个分析给我带来了很多快乐。 查看结果 👇