Microsoft.Coyote.IO 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.
class InMemoryLogger Thread safe logger that writes text to an in-memory buffer. The buffered text can be extracted using the ToString() method.
enum LogSeverity Flag indicating the type of logging information being provided to the ILogger.
class TextWriterLogger Bridges custom user provided TextWriter logger so it can be passed into Coyote via the ILogger interface.