Microsoft.Coyote.IO namespace

public type description
class ConsoleLogger Logger that writes text to the console.
class InMemoryLogger Thread safe logger that writes text to an in-memory buffer. The buffered text can be extracted using the ToString() method.