TestOutputLogger class
Logger that writes to the xUnit test output.
public sealed class TestOutputLogger : ILogger
Public Members
| name | description |
|---|---|
| TestOutputLogger(…) | Initializes a new instance of the TestOutputLogger class. |
| Dispose() | Releases any resources held by the logger. |
| Write(…) | Writes an informational string to the log. (10 methods) |
| WriteLine(…) | Writes an informational string to the log. (10 methods) |
See Also
- namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
- assembly Microsoft.Coyote.Test