Integration testing utilities for running PropertyDamage against live services.

This module provides helpers for running property-based tests against real systems, with support for:

• Health checks before testing
• Database reset between runs
• Report generation (terminal, markdown, JUnit XML)
• Bug hunting mode (run until N unique bugs found)
• Chaos testing with Toxiproxy

Usage

# Basic integration test
{:ok, result} = PropertyDamage.Integration.run(
  model: MyModel,
  adapter: MyAdapter,
  adapter_config: %{base_url: "http://localhost:4000"},
  max_runs: 100
)

# Bug hunting mode
{:ok, bugs} = PropertyDamage.Integration.hunt_bugs(
  model: MyModel,
  adapter: MyAdapter,
  adapter_config: %{base_url: "http://localhost:4000"},
  stop_after: 10  # Stop after 10 unique bugs
)

Health Checks

Before running tests, the integration runner can verify the service is healthy:

PropertyDamage.Integration.run(
  # ...
  health_check: %{
    url: "http://localhost:4000/api/health",
    timeout_ms: 5000,
    retries: 10
  }
)

Reports

Generate reports in various formats:

PropertyDamage.Integration.run(
  # ...
  report: %{
    format: :junit,
    path: "reports/integration.xml"
  }
)

Supported formats: :terminal, :markdown, :junit, :json