Skip to content

MembershipTableModelBasedConformanceOptions

class

Namespace: Orleans.Clustering.TestKit

Bounds generated membership operation-sequence exploration.
public sealed class MembershipTableModelBasedConformanceOptions

Constructors

Properties

  • MaxDepthGets or sets general transition exploration depth (at least three).
  • MaxSequenceLengthGets or sets general generated sequence length (at least three).
  • ProviderNameGets or sets the non-secret provider label.
  • SeedGets or sets the reproducible identity seed.