Specification.RegisterMonitor<T> method

Registers a new safety or liveness monitor.

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

parameter	description
T	Type of the monitor.

See Also

• class Monitor
• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote