为了总结这一年，我们推出了 Quint Connect：一个用于 Rust 的基于模型的测试库，旨在与 LLMs 良好配合。 @bugarela 在最新的 Quint 博客文章中详细解释了这一切。 我们刚刚为 Emerald 设置了这个。你打算在什么项目上尝试它？

一探究竟：