Halmos v0.3.0 vydání přednosti! (rychlé připomenutí: halmos je symbolický testovací nástroj pro EVM bytecode, který se dobře propojuje s foundry projekty a podporuje více SMT řešičů) 1. (konečně) jsme přidali podporu pro stavové invariantní testování

2. reporty o pokrytí (stačí spustit pomocí --coverage), pak buď genhtml výsledek, nebo jej vizualizovat ve VSCode

3. Plamenografy Trochu divné, ale zajímavý způsob, jak si představit invariantní testovací kampaň. Stačí spustit s --flamegraph

5. Lepší podpora řešitele před: --solver-command "yices-smt2 --smt2-model-format" po: --solver yices before: --solver-command "bitwuzla --produce-models --abstraction" after: --solver bitwuzla-abs

6. Přátelství skončilo se Z3, YICES je nyní výchozím řešitelem (takže ani nemusíte říkat '--solver yices', abyste si mohli užít výhod)

7. Podpora systému SOLX Pokud nevíte, co je to SOLX, @PatrickAlphaC vám poradí

8. Přidány env* a random* cheatcodes, všechny 3 miliony. Díky @Jayakumar2812 za příspěvek!

9. Skvělé ukazatele pokroku z budoucnosti

A je to! Získejte ji nyní: Instalace UV nástroje --python 3.13 halmos