public int addWarrantyTest([PexAssumeUnderTest] BusinessPlayer target, string data) { int result = target.addWarranty(data); return(result); // TODO: add assertions to method BusinessPlayerTest.addWarrantyTest(BusinessPlayer, String) }
private void simpleButton3_Click(object sender, EventArgs e) { if (typeWBox.Text.ToString().Equals("")) { MessageBox.Show("Vui lòng nhập kiểu bảo hành cần thêm!"); return; } business.addWarranty(typeWBox.Text.ToString()); MessageBox.Show("Thêm thành công!"); loadDataWaranty(); }