IRuntimeLog.OnCreateMonitor method

Invoked when the specified monitor has been created.

public void OnCreateMonitor(string monitorType)

parameter	description
monitorType	The name of the type of the monitor that has been created.

See Also

• interface IRuntimeLog
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote