TestIterationDisposeAttribute constructor

The default constructor.

public TestIterationDisposeAttribute()

See Also

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