TestingEngine.TestReport property

Data structure containing information gathered during testing.

public TestReport TestReport { get; set; }

See Also

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