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