What is Antithesis? How we’re different How it works Demo
Problems we solve Case studies Working with Antithesis Security approach
Backstory Leadership Careers Brand
Pricing Docs Blog
Let's talk

Properties and assertions

In this section:

  • Introduction
  • How Antithesis Works
  • Getting started
  • Package your software
  • Make it go
  • Deploy to Antithesis
  • Launch a test run
    •
  • User manual
  • 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
    •
  • Webhooks
  • Launching a test
  • Launching a debugging session
  • Webhook API
    •
  • Test Composer
  • Test Composer Basics
  • Test Composer Reference
  • Principles of Test Composition
  • Checking Test Templates Locally
    •
  • The Environment and Multiverse
  • The Antithesis Environment
  • Fault Injection
  • CPUID
    •
  • Properties and assertions
  • Test properties
  • Reliability Properties
  • Using Assertions
    •
  • 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
  • Use Sometimes assertions
  • Is Antithesis working?
  • Optimizing for Antithesis
  • Finding more bugs
    •
  • Release notes
  • Release notes
    •