Chimeraフレームワークを使用すると、Foundryを使用して簡単にデバッグできるEchidnaとMedusaで不変テストを実行できます。
Medusa Log Scraper
テスト実行の最後に生成されたメデューサログを貼り付けます
すべての関数呼び出しは、貼り付けられたログから自動的にスクレイプされます
各プロパティは、Foundry再生装置ユニットテストを生成します
必要に応じてチートコードを切り替える
Echidna Log Scraper
テスト実行の最後に生成されたEchidnaログを貼り付けます
すべての関数呼び出しは、貼り付けられたログから自動的にスクレイプされます
各プロパティは、Foundry再生装置ユニットテストを生成します
必要に応じてチートコードを切り替える
Invariants Builder
契約のABIを貼り付けます( out/ Foundryを使用して契約を構築した後のディレクトリ）
「Your_Contract」フォームフィールドに、貼り付けた契約のABIの名前を追加します
[すべてのファイルをダウンロード]ボタンを使用して、生成された契約をレポにダウンロードします
レポにファイルを追加した後、次の手順については、「インストールヘルプ」セクションの手順に従ってください。
Bytecode Compare
2つの契約バイトコードを貼り付け
「比較」ボタンを使用して、それらの間の差分を生成します。オプションでメタデータを無視します
Bytecode To Interface
契約のバイトコードを追加します。 a。rpc-urlと契約アドレスの使用 b。バイトコードを直接貼り付ける
[インターフェース名]フォームフィールドで契約を結ぶインターフェース名を定義します
[インターフェイスの生成]ボタンを使用して、指定されたバイトコードのSolidityインターフェイスを生成します
Chimera
Foundry
Echidna
Medusa
Halmos
プロパティベースのテストを作成するとき、開発者は通常いくつかの問題に直面します:必要な定型コードの量、初期設定後のツールの切り替えの課題、異なるツール間で結果を共有することの難しさ
Chimeraは現在、実装されたチートコードのみをサポートしています
ABI to Mock