RunGeneratedConformanceTests(CancellationToken)
public Task RunGeneratedConformanceTests(CancellationToken cancellationToken = default(CancellationToken))Generates legal transitions, required reachable prefixes, and verifies every operation's expected state.
Parameters
cancellationTokenCancellationToken
