ICoyoteRuntime.Logger property

Gets or sets an ILogger for logging runtime messages.

public ILogger Logger { get; set; }

Remarks

See Logging for more information.

See Also

• interface ILogger
• interface ICoyoteRuntime
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote