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