Halmos отправил инвариантные тесты, нам нужно было отправить способ автоматического преобразования контрпримеров Halmos в репозитории foundry. Это работает как для безсостояния, так и для состояний тестов (в стиле Chimera). Если вы используете Create Chimera App или Recon Extension, это работает сразу из коробки!