# vim: set sw=2 ts=2 softtabstop=2 expandtab:
runner: Boogaloo
runner_config:
  # FIXME: Runner functionality is dependent on using
  # this mode, we should move this into the runner
  mode: "exec"
  # This is the tool_path inside the container
  tool_path: "/home/boogaloo/.cabal/bin/boogaloo"
  max_memory: 4096
  max_time: 5
  additional_args:
    - "--format=Plain"
    - "--exec=-1" # Don't bound the number of executions to try
    - "--loop-max=-1"
    - "--out=1" # Look for at most one fault
    - "--concretize=False" # Do not concretize, otherwise we can easily miss bugs
    - "--per-path=1" # Only consider a path once
    # FIXME: This should probably be moved into the runner.
    # Don't show passing executions. We are only interested in the following cases
    # - bug found
    # - bound hit
    # - program fully explored
    - "--pass=False"
  entry_point: "main"
  backend:
    name: "Docker"
    config:
      image: "delcypher/boogaloo-docker:latest"
      skip_tool_check: false # Slower but safer

# vim: set sw=2 ts=2 softtabstop=2 expandtab:
runner: Boogaloo
runner_config:
  # FIXME: Runner functionality is dependent on using
  # this mode, we should move this into the runner
  mode: "exec"
  # This is the tool_path inside the container
  tool_path: "/home/ase/.cabal/bin/boogaloo"
  max_memory: 4096
  additional_args:
    - "--format=Plain"
    - "--exec=-1" # Don't bound the number of executions to try
    - "--loop-max=-1"
    - "--out=1" # Look for at most one fault
    - "--concretize=False" # Do not concretize, otherwise we can easily miss bugs
    - "--per-path=1" # Only consider a path once
    # FIXME: This should probably be moved into the runner.
    # Don't show passing executions. We are only interested in the following cases
    # - bug found
    # - bound hit
    # - program fully explored
    - "--pass=False"
  entry_point: "main"
  stack_size: 100
  backend:
    name: "Docker"
    config:
      image: "symbooglix/boogaloo:ase15"
      skip_tool_check: false # Slower but safer

Change Boogaloo config to use different image source.
Change Boogaloo config to use different image source.
