Exemple #1
0
        public string CowCounterTest([PexAssumeUnderTest] global::Cow.Cow target, int count)
        {
            string result = target.CowCounter(count);

            return(result);
            // TODO: добавление проверочных утверждений в метод CowTest.CowCounterTest(Cow, Int32)
        }
        public void CowCounterTest318()
        {
            string s;

            global::Cow.Cow s0 = new global::Cow.Cow();
            s = this.CowCounterTest(s0, 711);
            Assert.IsNotNull((object)s0);
        }