public static void Execute(IMachineRuntime runtime)
{
// Monitors must be registered before the first P# machine
// gets created (which will kickstart the runtime).
runtime.RegisterMonitor(typeof(Safety));
runtime.RegisterMonitor(typeof(Liveness));
runtime.CreateMachine(typeof(Driver), new Driver.Config(2));
}
public static void Execute(IMachineRuntime runtime)
{
runtime.RegisterMonitor(typeof(LivenessMonitor));
runtime.CreateMachine(typeof(Environment));
}
public static void Execute(IMachineRuntime runtime)
{
runtime.RegisterMonitor(typeof(ValidityCheck));
runtime.CreateMachine(typeof(GodMachine));
}
public static void Execute(IMachineRuntime runtime)
{
runtime.RegisterMonitor(typeof(LivenessMonitor));
runtime.CreateMachine(typeof(ClusterManager));
}
public static void Execute(IMachineRuntime runtime)
{
runtime.RegisterMonitor(typeof(InvariantMonitor));
runtime.RegisterMonitor(typeof(ServerResponseSeqMonitor));
runtime.CreateMachine(typeof(Environment));
}