Актуальні теми
#
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.
Карма скромна — величезне оновлення для Halmos!
∎ Інваріантне тестування зі збереженням стану (дуже потужне)
∎ Флеймграфи (дивіться, що досліджує Халмос)
∎ У 30 разів швидший перекладач (!!)
∎ Легкий вибір багатьох розв'язувачів
∎ Звіти про покриття
∎ Підтримка Solx
∎ більше чит-кодів
∎ ... та багато іншого
15 лип., 07:38
Основні моменти релізу Halmos v0.3.0!
(Коротке нагадування: Halmos — це інструмент для символьного тестування байт-коду EVM, який чудово взаємодіє з проектами ливарного виробництва та підтримує кілька розв'язувачів SMT)
1. Ми (нарешті) додали підтримку інваріантного тестування зі збереженням стану
9,94K
Найкращі
Рейтинг
Вибране