ConsoleLogger.Encoding property

When overridden in a derived class, returns the character encoding in which the output is written.

public override Encoding Encoding { get; }

See Also

• class ConsoleLogger
• namespace Microsoft.Coyote.IO
• assembly Microsoft.Coyote