Чтобы подвести итоги года, мы запускаем Quint Connect: библиотеку для тестирования на основе моделей на Rust, адаптированную для хорошей работы с LLM. @bugarela объяснил все в новом посте в блоге Quint. Мы только что настроили это для Emerald. На каком проекте вы собираетесь это попробовать?

Взгляните: