Untuk mengakhiri tahun ini, kami meluncurkan Quint Connect: perpustakaan untuk pengujian berbasis model di Rust, yang disesuaikan untuk bekerja dengan baik dengan LLM. @bugarela menjelaskan semuanya di posting blog Quint terbaru. Kami baru saja menyiapkan ini untuk Emerald. Proyek apa yang akan Anda coba?

Coba lihat: