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