ActorRuntimeLogTextFormatter.OnRandom method

Invoked when the specified controlled nondeterministic result has been obtained.

public virtual void OnRandom(object result, string callerName, string callerType)

parameter	description
result	The nondeterministic result (may be bool or int).
callerName	The name of the caller, if any.
callerType	The type of the caller, if any.

See Also

• class ActorRuntimeLogTextFormatter
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote