TestReport.UncontrolledInvocations property

Set of uncontrolled invocations.

public HashSet<string> UncontrolledInvocations { get; }

See Also

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