TestReport.InternalErrors property

Set of internal errors. If no internal errors occurred, then this set is empty.

public HashSet<string> InternalErrors { get; }

See Also

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