Sorotan rilis halmos v0.3.0! (pengingat cepat: halmos adalah alat pengujian simbolis untuk bytecode EVM yang berinteraksi dengan baik dengan proyek pengecoran dan mendukung beberapa pemecah SMT) 1. Kami (akhirnya) menambahkan dukungan untuk pengujian invarian stateful
2. laporan cakupan (cukup jalankan dengan --coverage), lalu genhtml hasilnya atau visualisasikan di VSCode
3. Flamegraf Agak aneh, tetapi cara yang menarik untuk memvisualisasikan kampanye pengujian invarian. Jalankan saja dengan --flamegraph
5. Dukungan Pemecah Lebih Baik sebelumnya: --solver-command "yices-smt2 --smt2-model-format" Setelah: --solver yices Sebelum: --Solver-Command "Bitwuzla --produce-models --abstraksi" Setelah: --Solver Bitwuzla-ABS
6. Persahabatan berakhir dengan Z3, Yices adalah pemecah default sekarang (jadi Anda bahkan tidak perlu mengatakan '--solver yices' untuk menikmati manfaatnya)
7. Dukungan Solx Jika Anda tidak tahu apa itu Solx, @PatrickAlphaC siap membantu Anda
Patrick Collins
Patrick Collins14 Jul, 20.40
Cara memecahkan "tumpukan terlalu dalam" dalam soliditas.
8. Menambahkan kode cheat ENV* dan acak*, semuanya 3 juta. Terima kasih @Jayakumar2812 atas kontribusinya!
9. Indikator Kemajuan Keren dari Masa Depan
Itu saja! Dapatkan sekarang: Instal Alat UV --python 3.13 halmos
27,28K