TestInitAttribute class
Attribute for declaring the initialization method to be called before testing starts.
[AttributeUsage(AttributeTargets.Method)]
public sealed class TestInitAttribute : Attribute
Public Members
name | description |
---|---|
TestInitAttribute() | The default constructor. |
See Also
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test