evidenziazioni del rilascio di halmos v0.3.0! (rapido promemoria: halmos è uno strumento di testing simbolico per bytecode EVM che si interfaccia bene con i progetti foundry e supporta più risolutori SMT) 1. abbiamo (finalmente) aggiunto il supporto per il testing degli invarianti con stato

2. report di copertura (basta eseguire con --coverage), poi generare il risultato con genhtml o visualizzarlo in VSCode

3. flamegraphs un po' strano, ma un modo interessante per visualizzare una campagna di test invarianti. Basta eseguire con --flamegraph

5. migliore supporto per il risolutore prima: --solver-command "yices-smt2 --smt2-model-format" dopo: --solver yices prima: --solver-command "bitwuzla --produce-models --abstraction" dopo: --solver bitwuzla-abs

6. l'amicizia è finita con z3, yices è ora il risolutore predefinito (quindi non è nemmeno necessario dire `--solver yices` per godere dei benefici)

7. supporto solx se non sai cos'è solx, @PatrickAlphaC ha tutto ciò di cui hai bisogno

8. aggiunti cheatcode env* e random*, tutti e 3 milioni di essi. Grazie a @Jayakumar2812 per il contributo!

9. indicatori di progresso futuristici e interessanti

Ecco! Ottienilo ora: uv tool install --python 3.13 halmos