🚨 Ny utvidelsesutgivelse! 🚨 Recon-utvidelsen integrerer nå Halmos direkte! - Alle kimærgenererte invariante tester er direkte kompatible med Halmos invariant testing - Halmos.toml-fil generert på "Stillas" - Kjør Halmos fra utvidelsen - Generer automatisk reproer og rapporter for både enhets- og invariante tester - Tømmerskrape kan også brukes med Halmos-logger (også tilgjengelig på nettsiden) Bonus: - Stillas Vyper invariante tester fra utvidelsen - Generer mocks av Vyper-kontrakter (Høyreklikk på kontrakten eller den .json artefakten)