Repere ale lansării Halmos v0.3.0! (memento rapid: halmos este un instrument de testare simbolică pentru bytecode EVM care interacționează frumos cu proiectele de turnătorie și acceptă mai multe rezolvări SMT) 1. Am adăugat (în sfârșit) suport pentru testarea invariantă cu stare

2. rapoarte de acoperire (rulați doar cu --coverage), apoi fie genhtml rezultatul, fie vizualizați-l în VSCode

3. Grafice cu flăcări Cam ciudat, dar un mod interesant de a vizualiza o campanie de testare invariantă. Doar rulați cu --flamegraph

5. Suport mai bun pentru rezolvare înainte: --solver-command "yices-smt2 --smt2-model-format" după: --solver yices înainte: --solver-command "bitwuzla --produce-models --abstraction" după: --solver bitwuzla-abs

6. Prietenia s-a încheiat cu Z3, Yices este rezolvatorul implicit acum (deci nici măcar nu trebuie să spui "--solver yices" pentru a te bucura de beneficii)

7. Suport Solx Dacă nu știți ce este Solx, @PatrickAlphaC vă acoperă

8. S-au adăugat coduri de cheatcode ENV* și RANDOM*, toate cele 3 milioane. Mulțumesc @Jayakumar2812 pentru contribuție!

9. Indicatori de progres rece din viitor

Asta este! Ia-l acum: Instalare instrument UV --Python 3.13 Halmos