public void VariationTest()
        {
            List <int> list = new List <int>();
            int        c    = -100;

            while (c < 100)
            {
                list.Add(++c);
            }

            DiscreteProperty <int> prop = new DiscreteProperty <int>(list);

            Trace.WriteLine("CurrentValue Start with:" + prop.CurrentValue);

            int i = 0;

            while (i++ < 1000)
            {
                Trace.WriteLine("CurrentValue:" + prop.CurrentValue);
                prop.Variation();
            }
        }
 public void VariationTest <T>([PexAssumeUnderTest] DiscreteProperty <T> target)
 {
     target.Variation();
     // TODO: 将断言添加到 方法 DiscretePropertyTTest.VariationTest(DiscreteProperty`1<!!0>)
 }