public static void TestTaskCase1()
{
var done = Assert.Async();
var case1 = new Case1(done);
case1.SomeEvent1();
case1.SomeEvent1();
case1.SomeEvent2();
case1.SomeEvent1();
}
private Unit AssertionsWithInput(Case1 case1, Effect1 effect1, Unit op, Unit result, Unit state)
{
var _ = (case1, effect1) switch
{
(Case1.ValidCase, Effect1.OK) => PostConditions(op, result, state),
(Case1.InvalidCase, _) => OnInvalidCase1(op, result, state),
_ => throw new Exception($"The provided path was not handled")
};
return(Unit.Default);
}
private async void bttnRun_Case1(object sender, RoutedEventArgs e)
{
EnableButtons(false);
var c = new Case1();
Diag.PrintContext("BEFORE AWAIT");
await c.Run();
Diag.PrintContext("AFTER AWAIT");
EnableButtons(true);
}
public static void TestRound()
{
var min = 0; var max = 0;
ThreadPool.GetMinThreads(out min, out max);
Console.WriteLine("min:{0},max:{1}", min, max);
ThreadPool.SetMinThreads(50, 50);
ThreadPool.GetMinThreads(out min, out max);
Console.WriteLine("min:{0},max:{1}", min, max);
var pfm = new RedisPfmTest();
var case1 = new Case1(pfm);
var case2 = new Case2(pfm);
var case3 = new Case3(pfm);
var case4 = new Case4(pfm);
var case3x = new Case3x(pfm);
//case1.Test(10);
//case2.Test(1);
case3.Test(1);
//case4.Test(1);
//case3x.Test(1);
}
public Case GetCase(int x, int y)
{
return(Case1.First(c => c.x == x && c.y == y));
}
