ILogger interface
A logger is used to capture messages, warnings and errors.
public interface ILogger : IDisposable
Members
name | description |
---|---|
Write(…) | Writes an informational string to the log. (10 methods) |
WriteLine(…) | Writes an informational string to the log. (10 methods) |
See Also
- namespace Microsoft.Coyote.Logging
- assembly Microsoft.Coyote