TestReport.Clone method

Clones the test report.

public TestReport Clone()

See Also

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