public void RandomMethodTest([PexAssumeUnderTest] IntelliTestDemo01 target) { target.RandomMethod(); // TODO: 将断言添加到 方法 IntelliTestDemo01Test.RandomMethodTest(IntelliTestDemo01) Assert.IsNotNull(target); }
public void RandomMethodTestThrowsAssertFailedException911() { IntelliTestDemo01 s0 = new IntelliTestDemo01(); this.RandomMethodTest(s0); }