public bool isEditTest( [PexAssumeUnderTest] ScheduleBLL target, string id, int number ) { bool result = target.isEdit(id, number); return(result); // TODO: add assertions to method ScheduleBLLTest.isEditTest(ScheduleBLL, String, Int32) }