TestAttribute class

Attribute for declaring the entry point to a Coyote test.

[AttributeUsage(AttributeTargets.Method)]
public sealed class TestAttribute : Attribute

Public Members

name	description
TestAttribute()	The default constructor.

See Also

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