Hacker News new | ask | show | jobs
by rystsov 2796 days ago
It's off-topic. But yes, Cosmos DB has rigorous tests[1] including Jepsen (a tool).

[1] https://twitter.com/dharmashukla/status/869104163510034432
2 comments
aphyr 2796 days ago
To clarify: no, Jepsen, as an organization, has not worked with CosmosDB.

I'm delighted they have rigorous tests, and I'm glad our tool has been helpful for them! We just can't say anything about those tests, because we haven't looked yet. Maybe someday!

link
namibj 2795 days ago
I understand them having developed TLA+ to guide their design and test consistency primitives.
link