Quint v0.29.0 đã có mặt với hai tính năng mới thú vị!

Bộ mô phỏng của Quint trong Rust giờ đây có thể chạy các mô phỏng song song, giúp việc khám phá nhanh hơn rất nhiều. Phản hồi nhanh là rất quan trọng, và nhiều mẫu trong cùng một khoảng thời gian = nhiều sự tự tin hơn. Chúng tôi đã thấy những cải tiến tuyệt vời trong một số thông số yêu thích của mình.

Và REPL nhận được một cải tiến UX có thể mang lại nhiều sự rõ ràng và hiểu biết cho các cuộc khám phá của bạn. Mỗi khi bạn đánh giá một hành động nào đó, Quint sẽ hiển thị sự khác biệt giữa trạng thái cũ và trạng thái mới, để bạn có thể dễ dàng thấy mọi thứ đang di chuyển như thế nào. Chúng tôi đang tìm kiếm cách để mang những sự khác biệt này đến các phần khác của Quint - hãy cho chúng tôi biết nếu bạn có bất kỳ phản hồi nào về điều đó.