Halmos dostarczył testy niezmiennicze, musieliśmy dostarczyć sposób na automatyczne konwertowanie kontrprzykładów Halmosa do repozytoriów foundry. To działa zarówno dla testów bezstanowych, jak i stanowych (w wersji Chimera). Jeśli używasz Create Chimera App lub rozszerzenia Recon, to działa od razu!
Recon
Recon30 sie, 00:43
🚨 Parser logów Halmos jest już dostępny! 🚨 Automatycznie konwertuj testy Halmos na repro Foundry. Działa zarówno dla testów Halmos (testy fuzz Foundry), jak i testów inwariantów (używając frameworka Chimera) /tools/halmos Po prostu wklej swoje logi Halmos i uzyskaj repros!
1,01K