TestReport.Merge method

Merges the information from the specified test report.

public bool Merge(TestReport testReport)

Return Value

True if merged successfully.

See Also

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