To wrap up the year, we are launching Quint Connect: a library for model-based testing in Rust, tailored to work well with LLMs. @bugarela explained it all in the newest Quint blog post. We just set this up for Emerald. What project are you going to try it on?
Check it out:
109