本週將推出不變式測試之旅🏃 我們將發佈一個關於 Move 中不變性測試的實踐教程，該教程基於我們圍繞 Movy 和現實世界合約行為（Sui版本）的研究。 該教程逐步講解如何跨多個事務測試不變性，如何使用 pre/post hooks 來檢測函數執行，以及如何在模糊測試期間捕獲真正的不變性違規行為，而不僅僅是單元測試失敗。 如果您正在使用 Move 進行構建，並且想要獲得“默認類型安全”之外的正確性保證，敬請期待。 教程將於本週發佈。