Актуальные темы
#
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 отправил инвариантные тесты, нам нужно было отправить способ автоматического преобразования контрпримеров Halmos в репозитории foundry.
Это работает как для безсостояния, так и для состояний тестов (в стиле Chimera).
Если вы используете Create Chimera App или Recon Extension, это работает сразу из коробки!

30 авг., 00:43
🚨 Парсер логов Halmos вышел! 🚨
Автоматически преобразуйте тесты Halmos в репродукции Foundry.
Работает как для тестов Halmos (тесты на неустойчивость Foundry), так и для инвариантных тестов (с использованием фреймворка Chimera)
/tools/halmos
Просто вставьте ваши логи Halmos и получите репродукции!
1,01K
Топ
Рейтинг
Избранное