TestingEngine.RegisterStartIterationCallBack method

Registers a callback to invoke at the start of each iteration. The callback takes as a parameter an integer representing the current iteration.

public void RegisterStartIterationCallBack(Action<uint> callback)

See Also

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