Skip to content

MembershipTableModelBasedTestRunner.RunGeneratedConformanceTests(CancellationToken)

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