Quint v0.29.0 ist da mit zwei aufregenden neuen Funktionen!

Quints Simulator in Rust kann jetzt Simulationen parallel ausführen, was die Erkundungen viel schneller macht. Schnelles Feedback ist wichtig, und mehr Proben zur gleichen Zeit = mehr Vertrauen. Wir sehen bereits große Verbesserungen bei einigen unserer Lieblingsspezifikationen:

Und das REPL erhält eine UX-Verbesserung, die viel Klarheit und Einblick in Ihre Erkundungen bringen kann. Jedes Mal, wenn Sie eine Aktion auswerten, zeigt Quint den Unterschied zwischen dem alten Zustand und dem neuen, sodass Sie leicht sehen können, wie sich die Dinge verändern. Wir suchen nach Möglichkeiten, diese Unterschiede in andere Teile von Quint zu bringen - lassen Sie uns wissen, wenn Sie dazu Feedback haben.