Example #1
0
        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();
        }