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>) }