Hacker News new | ask | show | jobs
by polskibus 2797 days ago
Was Cosmos DB tested by Jepsen?
1 comments
rystsov 2797 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

link
aphyr 2797 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 2797 days ago
I understand them having developed TLA+ to guide their design and test consistency primitives.
link