Configuration constructor

Initializes a new instance of the Configuration class.

protected Configuration()

See Also

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