RuntimeLogTextFormatter.Logger property
Used for logging runtime messages.
protected ILogger Logger { get; }
See Also
- interface ILogger
- class RuntimeLogTextFormatter
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
Used for logging runtime messages.
protected ILogger Logger { get; }