IRuntimeLog.OnRandom method (1 of 2)

Invoked when the specified controlled nondeterministic boolean result has been obtained.

public void OnRandom(bool result, string callerName, string callerType)
parameter description
result The nondeterministic boolean result.
callerName The name of the caller, if any.
callerType The type of the caller, if any.

See Also

IRuntimeLog.OnRandom method (2 of 2)

Invoked when the specified controlled nondeterministic integer result has been obtained.

public void OnRandom(int result, string callerName, string callerType)
parameter description
result The nondeterministic integer result.
callerName The name of the caller, if any.
callerType The type of the caller, if any.

See Also