MembershipTableModelBasedTestRunner Constructors

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

Markdown

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

MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture>, MembershipTableModelBasedConformanceOptions, Action<string>)

View source

public MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture> fixtureFactory, MembershipTableModelBasedConformanceOptions options, Action<string>? output = null)

Creates a generated runner. The factory must return a new fixture on every call.

Parameters

fixtureFactoryFunc<MembershipTableTestFixture>

optionsMembershipTableModelBasedConformanceOptions

outputAction<string>

MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture>, string, Action<string>)

View source

public MembershipTableModelBasedTestRunner(Func<MembershipTableTestFixture> fixtureFactory, string providerName, Action<string>? output = null)

Creates a generated runner using default bounded exploration.

Parameters

fixtureFactoryFunc<MembershipTableTestFixture>

providerNamestring

outputAction<string>