For å avslutte året lanserer vi Quint Connect: et bibliotek for modellbasert testing i Rust, tilpasset for å fungere godt med LLM-er. @bugarela forklarte alt i det nyeste Quint-blogginnlegget. Vi har nettopp satt opp dette for Emerald. Hvilket prosjekt skal du prøve det på?
Sjekk det ut:
110