Configuration.TestingIterations property
Number of testing iterations.
public uint TestingIterations { get; }
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote
Number of testing iterations.
public uint TestingIterations { get; }