public override Property Check(CounterSut obj0, List <int> obj1)
{
obj1.ForEach(i => Console.Write(i + "; "));
Console.WriteLine();
obj0.Inc();
return((obj0.Get() == obj1.Last()).ToProperty());
}
public override Property Check(CounterSut obj0, int obj1)
{
obj0.Dec();
return((obj0.Get() == obj1).ToProperty());
}
public override Property Check(CounterSut obj0, int obj1)
{
Console.WriteLine(obj1);
obj0.Inc();
return((obj0.Get() == obj1).ToProperty());
}
public override Property Check(CounterSut obj0, List <int> obj1)
{
obj0.Dec();
return((obj0.Get() == obj1.Last()).ToProperty());
}