Configuration.WithPartiallyControlledDataNondeterminismAllowed method

Updates the configuration with partially controlled data non-determinism allowed or disallowed.

public Configuration WithPartiallyControlledDataNondeterminismAllowed(bool isAllowed = true)

parameter	description
isAllowed	If true, then partially controlled data non-determinism is allowed.

See Also

• class Configuration
• namespace Microsoft.Coyote
• assembly Microsoft.Coyote