Quint v0.29.0 este aici cu două funcții noi interesante!

Simulatorul lui Quint din Rust poate rula acum simulări în paralel, făcând explorările mult mai rapide. Feedback-ul rapid contează și mai multe mostre în același timp = mai multă încredere. Vedem deja îmbunătățiri mari în unele dintre specificațiile noastre preferate:

Iar REPL primește o îmbunătățire UX care poate aduce multă claritate și perspectivă explorărilor tale. Ori de câte ori evaluați o acțiune, Quint va arăta diferența dintre starea veche și cea nouă, astfel încât să puteți vedea cu ușurință cum se mișcă lucrurile. Căutăm modalități de a aduce aceste diferențe în alte părți ale Quint - anunțați-ne dacă aveți vreun feedback despre asta.