MembershipTableModelBasedTestRunner Methods

1. Documentation
2. API reference
3. Microsoft.Orleans.Clustering.TestKit
4. MembershipTableModelBasedTestRunner
5. Methods

Markdown

Runs actual Accordant transition generation/execution in fresh factory-owned scopes per case.

RunGeneratedConformanceTests(CancellationToken)

View source

public Task RunGeneratedConformanceTests(CancellationToken cancellationToken = default(CancellationToken))

Generates legal transitions, required reachable prefixes, and verifies every operation's expected state.

Parameters

cancellationTokenCancellationToken