TestingEngine.Dispose method

Releases any held resources.

public void Dispose()

See Also

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