MembershipTableModelBasedTestRunner

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

class

Namespace: Orleans.Clustering.TestKit

SourceMarkdown

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

public sealed class MembershipTableModelBasedTestRunner

Constructors

• MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture>, MembershipTableModelBasedConformanceOptions, Action<string>)Creates a generated runner. The factory must return a new fixture on every call.
• MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture>, string, Action<string>)Creates a generated runner using default bounded exploration.

Methods

• RunGeneratedConformanceTests(CancellationToken)Generates legal transitions, required reachable prefixes, and verifies every operation's expected state.