RuntimeLogTextFormatter.OnRandom method (1 of 2)
Invoked when the specified controlled nondeterministic boolean result has been obtained.
public virtual 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
- class RuntimeLogTextFormatter
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
RuntimeLogTextFormatter.OnRandom method (2 of 2)
Invoked when the specified controlled nondeterministic integer result has been obtained.
public virtual 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
- class RuntimeLogTextFormatter
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote