RuntimeLogTextFormatter constructor

The default constructor.

public RuntimeLogTextFormatter()

See Also

• class RuntimeLogTextFormatter
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote