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/bl

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/ https://www.cockroachlabs.com/blog/demonic-nondeterminism/