WingNews logo WingNews
top | item 18285661

(no title)

rystsov | 7 years ago

It's off-topic. But yes, Cosmos DB has rigorous tests[1] including Jepsen (a tool).

[1] https://twitter.com/dharmashukla/status/869104163510034432

discuss

order

aphyr|7 years 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!

namibj|7 years ago

I understand them having developed TLA+ to guide their design and test consistency primitives.