========================================================
Authentication Database Property-Based Tests
Feature: plant-ecommerce-platform
Minimum 100 iterations per property
========================================================

Database connection established.

Testing Property: Property 1: Valid registration creates account in database
  Running 10 iterations...
  ✓ PASS - All 10 iterations passed

Testing Property: Property 2: Duplicate email rejection prevents account creation
  Running 10 iterations...
  ✓ PASS - All 10 iterations passed

Testing Property: Property: Email existence check is accurate
  Running 10 iterations...
  ✓ PASS - All 10 iterations passed

=========================================================
Property Test Summary:
  PASSED: 3
  FAILED: 0
  TOTAL: 3

✓ All property tests passed!