Halmos 提供了不变性测试，我们必须提供一种方法来自动将 Halmos 反例转换为 foundry 仓库。 这适用于无状态和有状态测试（Chimera 风格）。 如果您使用 Create Chimera App 或 Recon Extension，这将开箱即用！