TestReport constructor

Initializes a new instance of the TestReport class.

public TestReport(Configuration configuration)

See Also

• class TestReport
• namespace Microsoft.Coyote.SystematicTesting
• assembly Microsoft.Coyote.Test