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/