ActorRuntimeLogTextFormatter.Logger property

Get or set the ILogger interface to the logger.

public ILogger Logger { get; set; }

Remarks

If you want Coyote to log to an existing TextWriter, then use the TextWriterLogger object but that will have a minor performance overhead, so it is better to use ILogger directly.

See Also

• interface ILogger
• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote