🚨 Uusi laajennus! 🚨 Recon-laajennus integroi nyt suoraan Halmos! - Kaikki kimairan tuottamat invarianttitestit ovat suoraan yhteensopivia Halmos Invariant Testingin kanssa - Halmos.toml-tiedosto luotu "Scaffold" - Suorita Halmos laajennuksesta - Luo automaattisesti reproja ja raportteja sekä yksikkö- että invarianttitesteille - Tukkikaavinta voidaan käyttää myös Halmos-tukkien kanssa (saatavilla myös verkkosivuilla) Bonus: - Scaffold Vyperin invarianttitestit laajennuksesta - Luo pilkkakuvia Vyper-sopimuksista (napsauta hiiren kakkospainikkeella sopimusta tai .json artefaktia)