Antithesis Documentation

Antithesis is an autonomous software testing platform that finds your bugs and makes them easy to fix.

If you want to learn:

• How Antithesis can help you develop better, see the Antithesis Introduction.

• How Antithesis works to test your software, read How Antithesis Works.

• How to start using Antithesis immediately, jump to Getting Started.

---

Site index

Getting started

• Why Antithesis
• Quickstart guide
  • Package your software
  • Write a workload
  • Run a test
  • Next steps
• How Antithesis works

Testing with Antithesis

• Test properties
• SDK reference
  • Overview
  • Go
    • Overview
    • Tutorial
    • Go instrumentor
    • Assert (reference)
    • Lifecycle (reference)
    • Random (reference)
  • Java
  • C
  • C++
    • Overview
    • Tutorial
    • Instrumentation
    • Assert (reference)
    • Lifecycle (reference)
    • Random (reference)
  • Python
  • Javascript
  • Rust
    • Overview
    • Tutorial
    • Assert (reference)
    • Lifecycle (reference)
    • Random (reference)
  • .NET
  • If you cannot use the SDK
    • Overview
    • Assert (reference)
    • Lifecycle (reference)
• Best practices
  • Use Sometimes Assertions
  • Is Antithesis working?
  • Optimizing for Antithesis
  • Finding more bugs

Test results

• Triage report
• Bug report

Debugging with Antithesis

• Multiverse debugging
  • Overview and workflow
  • Exploring the Multiverse
  • Querying with Event sets
  • The Environment and its utilities
  • Using the Antithesis Notebook
  • Cookbook

User manual

• Configuring Antithesis
  • The Antithesis environment
  • User management
  • Software instrumentation
    • Overview
    • Go
    • C/C++
    • Java
    • JavaScript
    • Rust
    • .NET
    • Other LLVM Languages
  • Sizing your deployment
  • Webhook API
• Tooling integrations
  • CI integration
  • Discord and Slack

Product features

• Fault tolerance testing
  • Fault injection
  • Reliability properties
• Release Notes