public int delWarrantyTest([PexAssumeUnderTest] BusinessPlayer target, string data)
{
int result = target.delWarranty(data);
return(result);
// TODO: add assertions to method BusinessPlayerTest.delWarrantyTest(BusinessPlayer, String)
}
private void simpleButton4_Click(object sender, EventArgs e)
{
if (typeWBox.Text.ToString().Equals(""))
{
MessageBox.Show("Vui lòng chọn kiểu bảo hành cần xoá!");
return;
}
if (business.delWarranty(typeWBox.Text.ToString()) > 0)
{
MessageBox.Show("Xoá thành công!");
loadDataWaranty();
}
else
{
MessageBox.Show("Xoá thất bại!");
typeWBox.Text = "";
}
}