Microsoft.Coyote.SystematicTesting.Frameworks.XUnit namespace

public type	description
class TestOutputLogger	Logger that writes to the xUnit test output.