public bool AddScheTest( [PexAssumeUnderTest] ScheduleBLL target, string idS, DateTime date, int number, string content, string acitve, string doc, bool mid ) { bool result = target.AddSche(idS, date, number, content, acitve, doc, mid); return(result); // TODO: add assertions to method ScheduleBLLTest.AddScheTest(ScheduleBLL, String, DateTime, Int32, String, String, String, Boolean) }