This month we introduced a significant change to TigerBeetle’s simulator, the VOPR. We split the simulator into two modes: “safety” mode and a new “liveness” mode.
0 comments
No comments yet.
Related stories
- AI Mode for Emacsgithub.comHacker News · 1 points · 9 days ago
- Protocol-Aware Deterministic Simulation Testingtigerbeetle.comHacker News · 2 points · 11 days ago
- Property-Based Testing Against a Model of a Web Applicationconcerningquality.comLobsters · 7 points · over 3 years ago
- Lobsters · 2 points · over 7 years ago
- Lobsters · 53 points · 8 months ago
- Testing sudo-rs and improving sudo along the wayferrous-systems.comLobsters · 7 points · about 3 years ago