TestIterationDisposeAttribute class
Attribute for declaring a cleanup method to be called when each test iteration terminates.
[AttributeUsage(AttributeTargets.Method)]
public sealed class TestIterationDisposeAttribute : Attribute
Public Members
| name | description |
|---|---|
| TestIterationDisposeAttribute() | The default constructor. |
See Also
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test