What is Antithesis? How Antithesis works How we're different Problems we solve Security approach
Fintech Blockchain Databases Cloud infrastructure Customer stories Working with Antithesis
Contact us Backstory Leadership Careers Brand
Distributed systems reliability glossary Cost of outages white paper Deterministic simulation testing primer Property-based testing primer Autonomous testing primer Techniques to improve software testing Catalog of reliability properties for blockchains Test ACID-compliance with a Ring test

Blog posts by
Michael Gibson pic
Michael Gibson
Senior Engineer, Antithesis

cover image

Obscure feature + obscure feature + obscure feature = bug

How piling on weird language features in our C++ SDK turned up a compiler bug.