najważniejsze informacje o wydaniu halmos v0.3.0! (szybkie przypomnienie: halmos to narzędzie do testowania symbolicznego dla kodu bajtowego EVM, które dobrze współpracuje z projektami foundry i obsługuje wiele solverów SMT) 1. (w końcu) dodaliśmy wsparcie dla testowania inwariantów stanowych

2. raporty pokrycia (po prostu uruchom z --coverage), a następnie albo wygeneruj html z wyniku, albo zwizualizuj to w VSCode

3. flamegraphs trochę dziwne, ale interesujący sposób na wizualizację kampanii testowania niezmienników. Po prostu uruchom z --flamegraph

5. lepsze wsparcie dla solverów przed: --solver-command "yices-smt2 --smt2-model-format" po: --solver yices przed: --solver-command "bitwuzla --produce-models --abstraction" po: --solver bitwuzla-abs

6. przyjaźń zakończona z z3, yices jest teraz domyślnym solverem (więc nie musisz nawet mówić `--solver yices`, aby cieszyć się korzyściami)

7. wsparcie solx jeśli nie wiesz, czym jest solx, @PatrickAlphaC ma dla ciebie odpowiedź

8. dodano cheatcode'y env* i random*, wszystkie 3 miliony z nich. Dzięki @Jayakumar2812 za wkład!

9. fajne wskaźniki postępu z przyszłości

To wszystko! Zainstaluj to teraz: uv tool install --python 3.13 halmos