Quint v0.29.0 пропонує дві захоплюючі нові функції!

Симулятор Квінта в Rust тепер може проводити симуляції паралельно, що робить дослідження набагато швидшими. Швидкий зворотний зв'язок має значення, а більше зразків за той же час = більше впевненості. Ми вже спостерігаємо значні покращення в деяких з наших улюблених специфікацій:

А REPL отримує покращення UX, яке може принести багато ясності та розуміння у ваші дослідження. Кожного разу, коли ви оцінюєте якусь дію, Quint покаже різницю між старим і новим станом, щоб ви могли легко побачити, як все рухається. Ми шукаємо способи перенести цю різницю версій в інші частини Quint - дайте нам знати, якщо у вас є відгуки про це.