TestingEngine.InvokeEndIterationCallBacks method

Invokes any registered callbacks at the end of the specified iteration.

public void InvokeEndIterationCallBacks(uint iteration)

See Also

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