Høydepunkter fra Halmos v0.3.0-utgivelsen! (rask påminnelse: halmos er et symbolsk testverktøy for EVM-bytekode som grensesnitt fint med støperiprosjekter og støtter flere SMT-løsere) 1. Vi la (endelig) til støtte for Stateful Invariant Testing

2. dekningsrapporter (bare kjør med --coverage), så enten genhtml resultatet eller visualiser det i VSCode

3. Flammegrafer Litt rart, men en interessant måte å visualisere en invariant testkampanje på. Bare kjør med --flamegraph

5. Bedre problemløserstøtte før: --solver-command "yices-smt2 --smt2-model-format" etter: --solver yices før: --solver-kommando "bitwuzla --produsere-modeller --abstraksjon" etter: --solver bitwuzla-abs

6. Vennskapet endte med Z3, Yices er standardløseren nå (så du trenger ikke engang å si '--solver yices' for å nyte fordelene)

7. Solx-støtte Hvis du ikke vet hva Solx er, har @PatrickAlphaC deg dekket

8. Lagt til env* og tilfeldige* juksekoder, alle 3 millioner av dem. Takk @Jayakumar2812 for bidraget!

9. Kule fremdriftsindikatorer fra fremtiden

Det er det! Skaff deg det nå: UV-verktøy installere --python 3.13 halmos