Актуальные темы
#
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!
∎ Тестирование состояний инвариантов (очень мощно)
∎ Flamegraphs (смотрите, что исследует Halmos)
∎ Интерпретатор в 30 раз быстрее (!!!)
∎ Легко выбирать множество решателей
∎ Отчеты о покрытии
∎ Поддержка Solx
∎ больше чит-кодов
∎ ... и многое другое
15 июл., 07:38
основные моменты релиза halmos v0.3.0!
(быстрое напоминание: halmos — это инструмент символического тестирования для байт-кода EVM, который хорошо взаимодействует с проектами foundry и поддерживает несколько SMT-решателей)
1. мы (наконец-то) добавили поддержку тестирования состояний инвариантов
9,67K
Топ
Рейтинг
Избранное