Halmos 提供了不變性測試，我們必須提供一種方法來自動將 Halmos 反例轉換為 foundry 倉庫。 這適用於無狀態和有狀態測試（Chimera 風格）。 如果您使用 Create Chimera App 或 Recon Extension，這將開箱即用！