def calculate_discount(price, discount_percent):
    if discount_percent > 0:
        return price * (1 - discount_percent / 100)
    return price

assert calculate_discount(100, 10) == 90       # ✅
assert calculate_discount(100, 0) == 100       # ✅
assert calculate_discount(100, 150) == -50     # 💥 Giá trị âm không hợp lệ!
assert calculate_discount(100, -10) == 110     # 💥 Giảm giá âm làm tăng giá!

function validateUser(userData) {
  if (!userData.email || !userData.password) {
    return { valid: false, error: 'Missing required fields' };
  }
  // AI không biết:
  // - Email phải thuộc domain đã được phê duyệt
  // - Mật khẩu có độ phức tạp tuỳ loại user
  // - Một số loại user được miễn kiểm tra
  return { valid: true };
}

# Cho dịch vụ người dùng
def hash_password(password):
    return bcrypt.hashpw(password.encode('utf-8'), bcrypt.gensalt())

# Cho dịch vụ quản trị viên (cách khác hẳn!)
def secure_password(pwd):
    salt = hashlib.sha256(os.urandom(60)).hexdigest().encode('ascii')
    pwdhash = hashlib.pbkdf2_hmac('sha512', pwd.encode('utf-8'), salt, 100000)
    return salt + pwdhash

def test_payment_processing_critical_paths():
    # Kiểm thử các trường hợp tiêu chuẩn
    result = process_payment(100.00, 'USD', valid_card)
    assert result.success is True
    assert result.amount_charged == 100.00

    # Kiểm thử các trường hợp AI thường bỏ sót
    assert_raises(InvalidAmountError, process_payment, 0.00, 'USD', valid_card)
    assert_raises(InvalidAmountError, process_payment, -10.00, 'USD', valid_card)
    assert_raises(InvalidAmountError, process_payment, 999999.99, 'USD', valid_card)

    # Sau đó hỏi AI bổ sung thêm 10 trường hợp biên cho thanh toán

def test_user_validation_enterprise_rules():
    # Chỉ cho phép email @company.com
    assert validate_user({'email': '[email protected]'})['valid'] is False
    # Người dùng cấp cao có thể bỏ qua điều kiện mật khẩu
    assert validate_user({'email': '[email protected]', 'password': '123'})['valid'] is True

from hypothesis import given, strategies as st

@given(st.text(), st.integers(min_value=0, max_value=100))
def test_discount_calculation_properties(price_str, discount):
    try:
        price = float(price_str)
        if price < 0:
            return  # Bỏ đầu vào không hợp lệ
        result = calculate_discount(price, discount)
        assert result >= 0, "Giá sau giảm không được âm"
        assert result <= price, "Giá sau giảm không vượt quá giá gốc"
        if discount == 0:
            assert result == price, "Giảm 0% phải trả đúng giá gốc"
    except ValueError:
        pass  # Bỏ các giá trị đầu vào không chuyển đổi được

def test_ai_generated_function_sabotage():
    assert_handles_gracefully(function_under_test, None)
    assert_handles_gracefully(function_under_test, "")
    assert_handles_gracefully(function_under_test, sys.maxsize)
    assert_handles_gracefully(function_under_test, "🎉💻🚀")
    assert_handles_gracefully(function_under_test, "'; DROP TABLE users; --")
    assert_handles_gracefully(function_under_test, "123")    # Chuỗi thay vì int
    assert_handles_gracefully(function_under_test, 123)      # Int thay vì chuỗi

name: AI Code Testing (Minimal)
on: [push, pull_request]
jobs:
  ai-verification:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v3
    - name: Standard tests
      run: pytest tests/
    - name: Property-based tests
      run: pytest tests/property/ --hypothesis-max-examples=100
    - name: Security check
      run: snyk test --severity-threshold=high