Docs
Best practices
Product
What is Antithesis?
How we’re different
How it works
Demo
Solutions
Problems we solve
Case studies
Working with Antithesis
Security approach
Company
Contact us
Backstory
Leadership
Careers
Brand
Pricing
Docs
Blog
Best practices
In this section:
Is Antithesis working?
Optimizing for Antithesis
Finding more bugs
Introduction
How Antithesis Works
Getting started
Package your software
Make it go
Deploy to Antithesis
Launch a test run
User manual
Properties and Assertions
Properties in Antithesis
Assertions in Antithesis
Properties to Test For
Sometimes Assertions
Test Composer
Test Composer Basics
Test Composer Reference
Principles of Test Composition
Checking Test Templates Locally
Webhooks
Launching a test
Launching a debugging session
Webhook API
Reports
Triage report
Bug report
Multiverse debugging
Overview
Exploring the multiverse
Querying with event sets
The Environment and its utilities
Using the Antithesis Notebook
Cookbook
The Environment and Multiverse
The Antithesis Environment
Fault Injection
CPUID
Reference
SDK reference
Go
Tutorial
Instrumentor
Assert (reference)
Lifecycle (reference)
Random (reference)
Java
Tutorial
Instrumentation
Assert (reference)
Lifecycle (reference)
Random (reference)
C
C++
Tutorial
C/C++ Instrumentation
Assert (reference)
Lifecycle (reference)
Random (reference)
JavaScript
Python
Tutorial
Assert (reference)
Lifecycle (reference)
Random (reference)
Rust
Tutorial
Instrumentation
Assert (reference)
Lifecycle (reference)
Random (reference)
.NET
Languages not listed above
Assert (reference)
Lifecycle (reference)
Tooling integrations
CI integration
Discord and Slack integrations
Configuring Antithesis
Instrumentation
User management
Sizing your deployment
Best practices
Is Antithesis working?
Optimizing for Antithesis
Finding more bugs
Release notes
Release notes