本周将推出不变式测试之旅🏃 我们将发布一个关于 Move 中不变性测试的实践教程，该教程基于我们围绕 Movy 和现实世界合约行为（Sui版本）的研究。 该教程逐步讲解如何跨多个事务测试不变性，如何使用 pre/post hooks 来检测函数执行，以及如何在模糊测试期间捕获真正的不变性违规行为，而不仅仅是单元测试失败。 如果您正在使用 Move 进行构建，并且想要获得“默认类型安全”之外的正确性保证，敬请期待。 教程将于本周发布。