🚨 Neue Erweiterung veröffentlicht! 🚨 Die Recon-Erweiterung integriert jetzt direkt Halmos! - Alle von Chimera generierten Invariant-Tests sind direkt mit Halmos Invariant Testing kompatibel - Halmos.toml-Datei wird bei "Scaffold" generiert - Halmos kann über die Erweiterung ausgeführt werden - Automatische Generierung von Repros und Berichten für sowohl Unit- als auch Invariant-Tests - Log-Scraper kann auch mit Halmos-Logs verwendet werden (auch auf der Website verfügbar) Bonus: - Scaffold Vyper Invariant Tests aus der Erweiterung - Mocks von Vyper-Verträgen generieren (Rechtsklick auf den Vertrag oder das .json-Artefakt)