MembershipTableModelBasedTestRunner
class
Namespace: Orleans.Clustering.TestKit
Runs actual Accordant transition generation/execution in fresh factory-owned scopes per case.
public sealed class MembershipTableModelBasedTestRunnerConstructors
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.
