Quint v0.29.0 er her med to spennende nye funksjoner!

Quints simulator i Rust kan nå kjøre simuleringer parallelt, noe som gjør utforskningen så mye raskere. Rask tilbakemelding er viktig, og flere prøver samtidig = mer selvtillit. Vi ser allerede store forbedringer i noen av favorittspesifikasjonene våre:

Og REPL får en UX-forbedring som kan gi mye klarhet og innsikt til utforskningene dine. Når du evaluerer en handling, vil Quint vise forskjellen mellom den gamle tilstanden og den nye, slik at du enkelt kan se hvordan ting beveger seg rundt. Vi leter etter måter å bringe disse diffene til andre deler av Quint - gi oss beskjed hvis du har tilbakemeldinger om det.