Namespace Antithesis.SDK

This is the only namespace containing types for .NET applications to use to integrate with Antithesis.

Assert: The Assert class enables defining test properties about your program or workload.

Each static method in this class takes a parameter called message, which is a string literal identifier used to aggregate assertions. Antithesis generates one test property per unique message. This test property will be named message in the triage report.

Each static method also takes a parameter called details, which is an optional JsonObject reference of additional information provided by the caller to add context to assertion passes and failures. The information that is logged will appear in the logs section of a triage report.

Catalog: The Catalog class is used by the Antithesis.SDK.SourceGenerators package to Catalog all method calls to Assert so that Antithesis is aware of all assertions regardless of whether or not they are encountered during runtime.

You should not call this class directly; it is exclusively used by the Rosyln Analyzers contained in the Antithesis.SDK.SourceGenerators package.

EnvironmentVariableNames: Contains Antithesis related environment variable names.

Lifecycle: The Lifecycle class contains methods used to inform Antithesis that particular test phases or milestones have been reached.

LocationInfo: An init-only data transfer object for metadata related to the source code location of an assertion.

You should not call this class directly; it is exclusively used by the Rosyln Analyzers contained in the Antithesis.SDK.SourceGenerators package.

Random: The Random class is a subclass of System.Random that encapsules Antithesis's deterministic and reproducible random number generator.