public static void Run()
{
var configuration = Configuration.Create().WithVerbosityEnabled();
var runtime = PSharpTestRuntime.Create(configuration);
runtime.CreateMachine(typeof(NetworkEnvironment));
}
public static void Run()
{
var runtime = PSharpTestRuntime.Create();
runtime.RegisterMonitor(typeof(SafetyMonitor));
runtime.CreateMachine(typeof(ClusterManager));
}
public static void Run()
{
var runtime = PSharpTestRuntime.Create();
runtime.RegisterMonitor(typeof(ValidityCheck));
runtime.CreateMachine(typeof(GodMachine));
}
public static void Run()
{
var configuration = Configuration.Create().WithVerbosityEnabled();
var runtime = PSharpTestRuntime.Create(configuration);
runtime.RegisterMonitor(typeof(LivenessMonitor));
runtime.CreateMachine(typeof(Environment));
}
public static void Run()
{
var configuration = Configuration.Create().WithVerbosityEnabled();
var runtime = PSharpTestRuntime.Create(configuration);
// 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));
}