public void TestPush05() { Stack stack; stack = new Stack(); stack.SetNotNull(); stack.Push(); this.TestPush(stack); Assert.IsNotNull((object)stack); }
public void TestSetNotNull([PexAssumeUnderTest] Stack target) { target.SetNotNull(); }