TestingEngine.GetReport method

Returns a report with the testing results.

public string GetReport()

See Also

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