Microsoft.Coyote namespace

public type	description
class Configuration	The Coyote runtime and testing configuration.