Microsoft.Coyote.Logging namespace

public type	description
class ConsoleLogger	Logger that writes text to the console.
interface ILogger	A logger is used to capture messages, warnings and errors.
enum LogSeverity	The severity of the log message being provided to the ILogger.
class MemoryLogger	Logger that writes all messages to memory.
class TextWriterLogger	Logger that writes to the specified TextWriter.
enum VerbosityLevel	The level of verbosity used during logging.