code: def pytest_configure(config):
      profile_settings = {}
      getopt = config.getoption
      max_examples = getopt("--num-examples")
      deadline = getopt("--deadline")
      if (
          os.getenv("REDIS_URL", default=None)
          and os.environ["REDIS_URL"]
          and is_db_available(
              master=True,
              credentials=(
                  os.environ["REDIS_URL"],
                  os.environ["REDIS_PASSWD"],
              ),
          )
      ):
          print("Update Database with examples !")
          profile_settings["database"] = RedisExampleDatabase(
              redis_connect_master, key_prefix=b"hypothesis-example:"
          )
  
      elif not os.getenv("REDIS_URL") and is_db_available():
          print("Use Database in ReadOnly Mode with local caching !")
          shared = RedisExampleDatabase(
              redis_connect_dev, key_prefix=b"hypothesis-example:"
          )
          profile_settings["database"] = MultiplexedDatabase(
              DirectoryBasedExampleDatabase(path=hypothesis_cache),
              ReadOnlyDatabase(shared),
          )
  
      else:
          print("Database unavailable, local caching only !")
          profile_settings["database"] = DirectoryBasedExampleDatabase(
              path=hypothesis_cache
          )
  
      if max_examples:
          profile_settings["max_examples"] = max_examples
      if deadline:
          profile_settings["deadline"] = deadline
  
      if getopt("--reuse-only"):
          profile_settings["phases"] = [Phase.explicit, Phase.reuse]
  
      settings.register_profile(
          "ivy_profile",
          **profile_settings,
          suppress_health_check=(
              HealthCheck(3),
              HealthCheck(2),
              HealthCheck(1),
          ),
          print_blob=True,
      )
  
      settings.register_profile(
          "robust",
          phases=[
              Phase.explicit,
              Phase.reuse,
              Phase.generate,
              Phase.target,
          ],
      )
  
      settings.register_profile(
          "diff",
          database=None,
          derandomize=True,
          max_examples=100,
          deadline=5000,
          phases=[Phase.generate],
          suppress_health_check=(
              HealthCheck(3),
              HealthCheck(2),
              HealthCheck(1),
          ),
      )
  
      if getopt("robust"):
          settings.load_profile("robust")
      else:
          settings.load_profile("ivy_profile")
  
file_path: ivy/ivy_tests/conftest.py
imports: import os
  import redis
  from colorama import Fore
  from hypothesis import settings, HealthCheck, Phase
  from hypothesis.database import MultiplexedDatabase, ReadOnlyDatabase, DirectoryBasedExampleDatabase
  from hypothesis.extra.redis import RedisExampleDatabase
label_desc: Use image node_id 4 for calling a global function with example usage: pytest_configure(config) without return types