TestOutputLogger constructor

Initializes a new instance of the TestOutputLogger class.

public TestOutputLogger(ITestOutputHelper output)

parameter	description
output	The test output helper.

See Also

• class TestOutputLogger
• namespace Microsoft.Coyote.SystematicTesting.Frameworks.XUnit
• assembly Microsoft.Coyote.Test