TestReport.GetText method

Returns the testing report as a string, given a configuration and an optional prefix.

public string GetText(Configuration configuration, string prefix = "")

See Also

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