InMemoryLogger.ToString method

Returns the logged text as a string.

public override string ToString()

See Also

• class InMemoryLogger
• namespace Microsoft.Coyote.IO
• assembly Microsoft.Coyote