Hacker News Reader

I cannot use vendors own hand-picked case studies as a reference.

Here’s a blog post from CockroachDB that discusses their use of Antithesis, including some of the challenges and “rough edges”: https://www.cockroachlabs.com/blog/demonic-nondeterminism/