Microsoft.Coyote namespace

public type description
class Configuration The Coyote runtime and testing configuration.
abstract class Event Abstract class representing an event.