Monitor.Logger property

The logger installed to the runtime.

protected ILogger Logger { get; }

Remarks

See Logging for more information.

See Also

• interface ILogger
• class Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote