Halmos v0.3.0 リリースハイライト! (注意点:HalmosはEVMバイトコード用のシンボリックテストツールで、ファウンドリプロジェクトとうまくインターフェースし、複数のSMTソルバーをサポートします) 1. ステートフル不変式テストのサポートを(ついに)追加しました

2.カバレッジレポート(--coverageで実行するだけです)、結果をgenhtmlするか、VSCodeで視覚化します

3.フレームグラフ ちょっと奇妙ですが、不変式のテストキャンペーンを視覚化する興味深い方法です。--flamegraph で実行してください

5.より良いソルバーサポート 変更前: --solver-command "yices-smt2 --smt2-model-format" 変更後: --solver yices 変更前: --solver-command "bitwuzla --produce-models --abstraction" 変更後: --solver bitwuzla-abs

6.友情はZ3で終了し、YICESがデフォルトのソルバーになりました (したがって、メリットを享受するために「--solver yices」と言う必要さえありません)

7. Solxサポート Solxが何であるかを知らない場合、@PatrickAlphaCをカバーしていますか

8. env*とrandom*のチートコードをすべて300万個追加しました。@Jayakumar2812さん、ご協力いただきありがとうございます!

9.未来からのクールプログレスインジケーター

それです！今すぐ入手: UV tool install --python 3.13 ハルモス