Quint v0.29.0 je tady se dvěma vzrušujícími novými funkcemi!

Quintův simulátor ve hře Rust nyní může provádět simulace paralelně, díky čemuž je průzkum mnohem rychlejší. Důležitá je rychlá zpětná vazba a více vzorků za stejnou dobu = větší jistota. V některých našich oblíbených specifikacích již vidíme skvělá vylepšení:

A REPL dostává vylepšení UX, které může přinést mnoho jasnosti a vhledu do vašich průzkumů. Kdykoli vyhodnotíte nějakou akci, Quint zobrazí rozdíl mezi starým stavem a novým stavem, takže můžete snadno vidět, jak se věci pohybují. Hledáme způsoby, jak přenést tyto diffy do jiných částí Quintu - dejte nám vědět, pokud k tomu máte nějakou zpětnou vazbu.