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.