ICoyoteRuntime.RegisterMonitor<T> method

Registers a new specification monitor of the specified Type.

public void RegisterMonitor<T>()
    where T : Monitor

parameter	description
T	Type of the monitor.

See Also

• class Monitor
• interface ICoyoteRuntime
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote