points forts de la version halmos v0.3.0 ! (rappel rapide : halmos est un outil de test symbolique pour le bytecode EVM qui s'interface bien avec les projets foundry et prend en charge plusieurs solveurs SMT) 1. nous avons (enfin) ajouté le support pour les tests d'invariants d'état.

2. rapports de couverture (il suffit de lancer avec --coverage), puis soit générer le HTML du résultat, soit le visualiser dans VSCode

3. flamegraphs un peu étrange, mais une manière intéressante de visualiser une campagne de test d'invariant. Il suffit de lancer avec --flamegraph

5. meilleur support pour le solveur avant : --solver-command "yices-smt2 --smt2-model-format" après : --solver yices avant : --solver-command "bitwuzla --produce-models --abstraction" après : --solver bitwuzla-abs

6. l'amitié est terminée avec z3, yices est maintenant le solveur par défaut (ainsi, vous n'avez même pas besoin de dire `--solver yices` pour profiter des avantages)

7. support solx si vous ne savez pas ce qu'est solx, @PatrickAlphaC a tout ce qu'il vous faut

8. Ajouté des cheatcodes env* et random*, tous les 3 millions. Merci à @Jayakumar2812 pour la contribution !

9. indicateurs de progression cool venus du futur

C'est tout ! Obtenez-le maintenant : uv tool install --python 3.13 halmos