Quint v0.29.0 is hier met twee spannende nieuwe functies!

Quint's simulator in Rust kan nu simulaties parallel uitvoeren, waardoor verkenningen veel sneller gaan. Snelle feedback is belangrijk, en meer monsters in dezelfde tijd = meer vertrouwen. We zien al grote verbeteringen in enkele van onze favoriete specificaties:

En de REPL ontvangt een UX-verbetering die veel duidelijkheid en inzicht kan bieden in je verkenningen. Telkens wanneer je een actie evalueert, zal Quint het verschil tussen de oude staat en de nieuwe tonen, zodat je gemakkelijk kunt zien hoe dingen zich verplaatsen. We zijn op zoek naar manieren om deze verschillen naar andere delen van Quint te brengen - laat het ons weten als je feedback hierover hebt.