Halmosは不変テストを出荷しましたが、Halmosの反例をファウンドリリポジトリに自動的に変換する方法を出荷する必要がありました。 これは、ステートレステストとステートフルテストの両方で機能します(Chimera フレーバー)。 Create Chimera App または Recon Extension を使用すると、すぐに使用できます。