Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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

14 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
Teratas
Peringkat
Favorit