🚨 新しい拡張機能リリース!🚨 Recon 拡張機能は、Halmos を直接統合するようになりました。 - キメラで生成されたすべての不変テストは、Halmos 不変テストと直接互換性があります - 「Scaffold」で生成されたHalmos.tomlファイル - 拡張機能から Halmos を実行する - 単体テストと不変テストの両方の再現とレポートを自動的に生成します - ログスクレーパーは、Halmos 丸太でも使用できます (Web サイトでも入手可能) ボーナス： - 拡張機能からのスキャフォールド Vyper 不変テスト - Vyperコントラクトのモックを生成する(コントラクトまたは.jsonアーティファクトを右クリックします)